Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is round. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Gary is green. Gary is quiet. Gary is red. Gary is round. If Charlie is furry then Charlie is rough. Rough things are green. If something is round and furry then it is kind.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
If Charlie is furry then Charlie is rough.
((("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "rough" "+"))
Rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is round and furry then it is kind.
((("something" "is" "round" "+") ("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Fiona is kind.
True
1
proof
[(triple5)]
("Fiona" "is" "kind" "+")
triple5
Charlie is not round.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "round" "-")
triple4
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3 OR ((triple1) -> rule1))] Charlie is round.[(triple4)] Fiona is kind.[(triple5)] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] Fiona is round.[(triple8)] Gary is green.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)] @1: Charlie is green.[(((triple3) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Charlie is kind.[(((triple4 triple1) -> rule3))] Fiona is green.[(((triple7) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Charlie is green.
("Charlie" "is" "green" "+")
((triple3) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 triple1) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple7) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1