The rabbit is green. The rabbit is round. The rabbit is young. All young things are green. If the rabbit is round and the rabbit is young then the rabbit is cold.
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
All young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If the rabbit is round and the rabbit is young then the rabbit is cold.
((("rabbit" "is" "round" "+") ("rabbit" "is" "young" "+")) -> ("rabbit" "is" "cold" "+"))
The rabbit is round.
True
1
proof
[(triple2)]
("rabbit" "is" "round" "+")
triple2
The rabbit is not green.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule1))]
("rabbit" "is" "green" "-")
triple1
((triple3) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is cold.
True
3
proof
[(((triple2 triple3) -> rule2))]
("rabbit" "is" "cold" "+")
((triple2 triple3) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is not cold.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("rabbit" "is" "cold" "-")
((triple2 triple3) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
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 chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The rabbit is green.[(triple1 OR ((triple3) -> rule1))] The rabbit is round.[(triple2)] The rabbit is young.[(triple3)] @1: The rabbit is cold.[(((triple2 triple3) -> rule2))]
The rabbit is green.
("rabbit" "is" "green" "+")
triple1
((triple3) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
triple2
The rabbit is young.
("rabbit" "is" "young" "+")
triple3
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple2 triple3) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1