Fiona is rough. Gary is rough. Harry is not white. If Gary is big then Gary is blue. If Harry is not white then Harry is round. If something is white then it is not round. If something is furry and big then it is round. If Gary is round and Gary is quiet then Gary is rough. If something is big and not round then it is quiet. Round things are not quiet. Furry, rough things are blue.
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is not white.
("Harry" "is" "white" "-")
If Gary is big then Gary is blue.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "blue" "+"))
If Harry is not white then Harry is round.
((("Harry" "is" "white" "~")) -> ("Harry" "is" "round" "+"))
If something is white then it is not round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "-"))
If something is furry and big then it is round.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If Gary is round and Gary is quiet then Gary is rough.
((("Gary" "is" "round" "+") ("Gary" "is" "quiet" "+")) -> ("Gary" "is" "rough" "+"))
If something is big and not round then it is quiet.
((("something" "is" "big" "+") ("something" "is" "round" "~")) -> ("something" "is" "quiet" "+"))
Round things are not quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "-"))
Furry, rough things are blue.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Fiona is rough.
True
1
proof
[(triple1)]
("Fiona" "is" "rough" "+")
triple1
Gary is not rough.
False
1
inv-proof
[(triple2)]
("Gary" "is" "rough" "-")
triple2
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Fiona is rough.[(triple1)] Gary is rough.[(triple2)] Harry is not white.[(triple3)] @1: Harry is round.[(((triple3) -> rule2))] @2: Harry is not quiet.[(((((triple3) -> rule2)) -> rule7))]
Fiona is rough.
("Fiona" "is" "rough" "+")
triple1
Gary is rough.
("Gary" "is" "rough" "+")
triple2
Harry is not white.
("Harry" "is" "white" "-")
triple3
Harry is round.
("Harry" "is" "round" "+")
((triple3) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not quiet.
("Harry" "is" "quiet" "-")
((((triple3) -> (rule2 % int2))) -> (rule7 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
int2