Gary is not nice. Gary is red. Gary is rough. Gary is round. Harry is furry. Harry is red. Harry is round. All round, furry people are rough.
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
All round, furry people are rough.
((("someone" "is" "round" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Gary is round.
True
1
proof
[(triple4)]
("Gary" "is" "round" "+")
triple4
Gary is not rough.
False
1
inv-proof
[(triple3)]
("Gary" "is" "rough" "-")
triple3
Harry is rough.
True
3
proof
[(((triple7 triple5) -> rule1))]
("Harry" "is" "rough" "+")
((triple7 triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple7 triple5) -> rule1))]
("Harry" "is" "rough" "-")
((triple7 triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Gary is not nice.[(triple1)] Gary is red.[(triple2)] Gary is rough.[(triple3)] Gary is round.[(triple4)] Harry is furry.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)] @1: Harry is rough.[(((triple7 triple5) -> rule1))]
Gary is not nice.
("Gary" "is" "nice" "-")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
((triple7 triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1