The rabbit is cold. Red things are round. If the rabbit is round then the rabbit is not red. If the rabbit is cold then the rabbit is round. If the rabbit is red then the rabbit is not young. All round, red things are not young. If something is round and young then it is red.
The rabbit is cold.
("rabbit" "is" "cold" "+")
Red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If the rabbit is round then the rabbit is not red.
((("rabbit" "is" "round" "+")) -> ("rabbit" "is" "red" "-"))
If the rabbit is cold then the rabbit is round.
((("rabbit" "is" "cold" "+")) -> ("rabbit" "is" "round" "+"))
If the rabbit is red then the rabbit is not young.
((("rabbit" "is" "red" "+")) -> ("rabbit" "is" "young" "-"))
All round, red things are not young.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "-"))
If something is round and young then it is red.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
The rabbit is cold.
True
1
proof
[(triple1)]
("rabbit" "is" "cold" "+")
triple1
The rabbit is not cold.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "cold" "-")
triple1
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The rabbit is cold.[(triple1)] @1: The rabbit is round.[(((triple1) -> rule3))] @2: The rabbit is not red.[(((((triple1) -> rule3)) -> rule2))]
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple1) -> (rule3 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is not red.
("rabbit" "is" "red" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2