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