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