The rabbit is rough. If someone is rough and round then they are not blue. Rough people are blue. All red people are blue. All red people are rough. If the rabbit is rough and the rabbit is blue then the rabbit is not red. Round, rough people are not cold.
The rabbit is rough.
("rabbit" "is" "rough" "+")
If someone is rough and round then they are not blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "-"))
Rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
All red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
All red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If the rabbit is rough and the rabbit is blue then the rabbit is not red.
((("rabbit" "is" "rough" "+") ("rabbit" "is" "blue" "+")) -> ("rabbit" "is" "red" "-"))
Round, rough people are not cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "-"))
The rabbit is rough.
True
1
proof
[(triple1)]
("rabbit" "is" "rough" "+")
triple1
The rabbit is not rough.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "rough" "-")
triple1
The rabbit is blue.
True
2
proof
[(((triple1) -> rule2))]
("rabbit" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not blue.
False
2
inv-proof
[(((triple1) -> rule2))]
("rabbit" "is" "blue" "-")
((triple1) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The rabbit is rough.[(triple1)] @1: The rabbit is blue.[(((triple1) -> rule2))] @2: The rabbit is not red.[(((triple1 ((triple1) -> rule2)) -> rule5))]
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not red.
("rabbit" "is" "red" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2