Gary is green. Gary is not kind. Gary is round. Harry is big. Harry is not green. Harry is kind. Harry is quiet. Harry is not red. Harry is rough. Harry is round. Red people are green. Kind people are not green. If Gary is green and Gary is not round then Gary is quiet. If someone is kind then they are big. If Harry is round and Harry is red then Harry is kind. If someone is round and green then they are not red. If Gary is quiet and Gary is not round then Gary is not rough. All red people are quiet.
Gary is green.
("Gary" "is" "green" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is round.
("Gary" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Kind people are not green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "-"))
If Gary is green and Gary is not round then Gary is quiet.
((("Gary" "is" "green" "+") ("Gary" "is" "round" "~")) -> ("Gary" "is" "quiet" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If Harry is round and Harry is red then Harry is kind.
((("Harry" "is" "round" "+") ("Harry" "is" "red" "+")) -> ("Harry" "is" "kind" "+"))
If someone is round and green then they are not red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "-"))
If Gary is quiet and Gary is not round then Gary is not rough.
((("Gary" "is" "quiet" "+") ("Gary" "is" "round" "~")) -> ("Gary" "is" "rough" "-"))
All red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Harry is not red.
True
1
proof
[(triple8)]
("Harry" "is" "red" "-")
triple8
Gary is not green.
False
1
inv-proof
[(triple1)]
("Gary" "is" "green" "-")
triple1
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Gary is green.[(triple1)] Gary is not kind.[(triple2)] Gary is round.[(triple3)] Harry is big.[(triple4 OR ((triple6) -> rule4))] Harry is kind.[(triple6)] Harry is not green.[(triple5 OR ((triple6) -> rule2))] Harry is not red.[(triple8)] Harry is quiet.[(triple7)] Harry is rough.[(triple9)] Harry is round.[(triple10)] @1: Gary is not red.[(((triple3 triple1) -> rule6))]
Gary is green.
("Gary" "is" "green" "+")
triple1
Gary is not kind.
("Gary" "is" "kind" "-")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple4
((triple6) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is not green.
("Harry" "is" "green" "-")
triple5
((triple6) -> (rule2 % int1))
Harry is not green.
("Harry" "is" "green" "-")
int1
Harry is not red.
("Harry" "is" "red" "-")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Gary is not red.
("Gary" "is" "red" "-")
((triple3 triple1) -> (rule6 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1