Gary is quiet. Gary is red. Gary is rough. Harry is furry. Harry is quiet. Harry is rough. Harry is round. Quiet things are round. All furry things are rough. All round things are quiet.
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
All furry things are rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
All round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Harry is rough.
True
1
proof
[(triple6 OR ((triple4) -> rule2))]
("Harry" "is" "rough" "+")
triple6
((triple4) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not furry.
False
1
inv-proof
[(triple4)]
("Harry" "is" "furry" "-")
triple4
Gary is round.
True
2
proof
[(((triple1) -> rule1))]
("Gary" "is" "round" "+")
((triple1) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Gary" "is" "round" "-")
((triple1) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Gary is quiet.[(triple1)] Gary is red.[(triple2)] Gary is rough.[(triple3)] Harry is furry.[(triple4)] Harry is quiet.[(triple5 OR ((triple7) -> rule3))] Harry is rough.[(triple6 OR ((triple4) -> rule2))] Harry is round.[(triple7 OR ((triple5) -> rule1))] @1: Gary is round.[(((triple1) -> rule1))]
Gary is quiet.
("Gary" "is" "quiet" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple5
((triple7) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple6
((triple4) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple7
((triple5) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple1) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1