The rabbit is green. The rabbit is rough. The rabbit is young. If the rabbit is young and the rabbit is cold then the rabbit is nice. If someone is young and green then they are cold.
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If the rabbit is young and the rabbit is cold then the rabbit is nice.
((("rabbit" "is" "young" "+") ("rabbit" "is" "cold" "+")) -> ("rabbit" "is" "nice" "+"))
If someone is young and green then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
The rabbit is young.
True
1
proof
[(triple3)]
("rabbit" "is" "young" "+")
triple3
The rabbit is not green.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "green" "-")
triple1
The rabbit is cold.
True
3
proof
[(((triple3 triple1) -> rule2))]
("rabbit" "is" "cold" "+")
((triple3 triple1) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is not cold.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("rabbit" "is" "cold" "-")
((triple3 triple1) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
True
5
proof
[(((triple3 ((triple3 triple1) -> rule2)) -> rule1))]
("rabbit" "is" "nice" "+")
((triple3 ((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is not nice.
False
5
inv-proof
[(((triple3 ((triple3 triple1) -> rule2)) -> rule1))]
("rabbit" "is" "nice" "-")
((triple3 ((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The rabbit is green.[(triple1)] The rabbit is rough.[(triple2)] The rabbit is young.[(triple3)] @1: The rabbit is cold.[(((triple3 triple1) -> rule2))] @2: The rabbit is nice.[(((triple3 ((triple3 triple1) -> rule2)) -> rule1))]
The rabbit is green.
("rabbit" "is" "green" "+")
triple1
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple2
The rabbit is young.
("rabbit" "is" "young" "+")
triple3
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple3 triple1) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple3 ((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2