The rabbit is cold. The rabbit is kind. The rabbit is red. If something is green and young then it is kind. If something is young and cold then it is red. If something is cold then it is green.
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If something is green and young then it is kind.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is young and cold then it is red.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is cold then it is green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
The rabbit is red.
True
1
proof
[(triple3)]
("rabbit" "is" "red" "+")
triple3
The rabbit is not red.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "red" "-")
triple3
The rabbit is green.
True
2
proof
[(((triple1) -> rule3))]
("rabbit" "is" "green" "+")
((triple1) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("rabbit" "is" "green" "-")
((triple1) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
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 visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The rabbit is cold.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is red.[(triple3)] @1: The rabbit is green.[(((triple1) -> rule3))]
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple2
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
((triple1) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1