Gary is green. Gary is red. Harry is green. Round people are rough. Furry people are rough. All green people are furry. All quiet people are furry. If Harry is red then Harry is quiet. If someone is red then they are white. All quiet people are not white. If Harry is white then Harry is round.
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Furry people are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
All quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Harry is red then Harry is quiet.
((("Harry" "is" "red" "+")) -> ("Harry" "is" "quiet" "+"))
If someone is red then they are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
All quiet people are not white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "-"))
If Harry is white then Harry is round.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "round" "+"))
Gary is red.
True
1
proof
[(triple2)]
("Gary" "is" "red" "+")
triple2
Harry is not green.
False
1
inv-proof
[(triple3)]
("Harry" "is" "green" "-")
triple3
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Gary is green.[(triple1)] Gary is red.[(triple2)] Harry is green.[(triple3)] @1: Gary is furry.[(((triple1) -> rule3))] Gary is white.[(((triple2) -> rule6))] Harry is furry.[(((triple3) -> rule3))] @2: Gary is rough.[(((((triple1) -> rule3)) -> rule2))] Harry is rough.[(((((triple3) -> rule3)) -> rule2))]
Gary is green.
("Gary" "is" "green" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple2) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2