Harry is rough. Harry is round. Harry is white. Green, blue people are nice. Red people are blue. If Harry is white then Harry is nice. If Harry is red and Harry is blue then Harry is nice. All blue people are round. If Harry is round and Harry is white then Harry is rough.
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Green, blue people are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If Harry is white then Harry is nice.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "nice" "+"))
If Harry is red and Harry is blue then Harry is nice.
((("Harry" "is" "red" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "nice" "+"))
All blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If Harry is round and Harry is white then Harry is rough.
((("Harry" "is" "round" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "rough" "+"))
Harry is round.
True
1
proof
[(triple2)]
("Harry" "is" "round" "+")
triple2
Harry is not round.
False
1
inv-proof
[(triple2)]
("Harry" "is" "round" "-")
triple2
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Harry is rough.[(triple1 OR ((triple2 triple3) -> rule6))] Harry is round.[(triple2)] Harry is white.[(triple3)] @1: Harry is nice.[(((triple3) -> rule3))]
Harry is rough.
("Harry" "is" "rough" "+")
triple1
((triple2 triple3) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1