Fiona is furry. Fiona is green. Fiona is quiet. Fiona is white. Gary is furry. Gary is nice. Gary is quiet. Gary is round. Gary is white. Harry is green. Harry is rough. Harry is round. If something is nice then it is rough. If Fiona is round and Fiona is furry then Fiona is rough. If Fiona is round and Fiona is white then Fiona is quiet. All nice, white things are green. If something is nice and round then it is white. White, rough things are round.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is nice then it is rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If Fiona is round and Fiona is furry then Fiona is rough.
((("Fiona" "is" "round" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "rough" "+"))
If Fiona is round and Fiona is white then Fiona is quiet.
((("Fiona" "is" "round" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "quiet" "+"))
All nice, white things are green.
((("something" "is" "nice" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is nice and round then it is white.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
White, rough things are round.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Harry is green.
True
1
proof
[(triple10)]
("Harry" "is" "green" "+")
triple10
Gary is not quiet.
False
1
inv-proof
[(triple7)]
("Gary" "is" "quiet" "-")
triple7
Fiona is not round.
Unknown
inv-rconc
[@2: Fiona is round.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2)] Fiona is quiet.[(triple3)] Fiona is white.[(triple4)] Gary is furry.[(triple5)] Gary is nice.[(triple6)] Gary is quiet.[(triple7)] Gary is round.[(triple8 OR ((triple9 ((triple6) -> rule1)) -> rule6))] Gary is white.[(triple9 OR ((triple6 triple8) -> rule5))] Harry is green.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)] @1: Gary is green.[(((triple6 triple9) -> rule4) OR ((triple6 ((triple6 triple8) -> rule5)) -> rule4))] Gary is rough.[(((triple6) -> rule1))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
((triple9 ((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple9
((triple6 triple8) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
((triple6 triple9) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple6 ((triple6 triple8) -> (rule5 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1