Harry is furry. Harry is red. Harry is smart. White, round people are nice. All smart people are not nice. White, big people are smart.
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
White, round people are nice.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
All smart people are not nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "-"))
White, big people are smart.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Harry is furry.
True
1
proof
[(triple1)]
("Harry" "is" "furry" "+")
triple1
Harry is not furry.
False
1
inv-proof
[(triple1)]
("Harry" "is" "furry" "-")
triple1
Harry is not nice.
True
2
proof
[(((triple3) -> rule2))]
("Harry" "is" "nice" "-")
((triple3) -> (rule2 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is nice.
False
2
inv-proof
[(((triple3) -> rule2))]
("Harry" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Harry is furry.[(triple1)] Harry is red.[(triple2)] Harry is smart.[(triple3)] @1: Harry is not nice.[(((triple3) -> rule2))]
Harry is furry.
("Harry" "is" "furry" "+")
triple1
Harry is red.
("Harry" "is" "red" "+")
triple2
Harry is smart.
("Harry" "is" "smart" "+")
triple3
Harry is not nice.
("Harry" "is" "nice" "-")
((triple3) -> (rule2 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1