Gary is not cold. Gary is red. Harry is kind. All quiet things are not nice. Red things are rough. If something is quiet then it is rough. If something is red and not cold then it is furry. Rough, quiet things are furry. If something is quiet then it is red.
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is red.
("Gary" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All quiet things are not nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "-"))
Red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something is quiet then it is rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is red and not cold then it is furry.
((("something" "is" "red" "+") ("something" "is" "cold" "~")) -> ("something" "is" "furry" "+"))
Rough, quiet things are furry.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If something is quiet then it is red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Gary is red.
True
1
proof
[(triple2)]
("Gary" "is" "red" "+")
triple2
Gary is not red.
False
1
inv-proof
[(triple2)]
("Gary" "is" "red" "-")
triple2
Gary is rough.
True
2
proof
[(((triple2) -> rule2))]
("Gary" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple2) -> rule2))]
("Gary" "is" "rough" "-")
((triple2) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "red" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Gary is not cold.[(triple1)] Gary is red.[(triple2)] Harry is kind.[(triple3)] @1: Gary is furry.[(((triple2 triple1) -> rule4))] Gary is rough.[(((triple2) -> rule2))]
Gary is not cold.
("Gary" "is" "cold" "-")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
((triple2 triple1) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1