The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is rough. The rabbit is young. If something is blue then it is cold. If something is young then it is cold. If the rabbit is rough then the rabbit is young.
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If something is blue then it is cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is young then it is cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If the rabbit is rough then the rabbit is young.
((("rabbit" "is" "rough" "+")) -> ("rabbit" "is" "young" "+"))
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 does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "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 blue.[(triple1)] The rabbit is cold.[(triple2 OR ((triple1) -> rule1) OR ((triple5) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] The rabbit is green.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5 OR ((triple4) -> rule3))]
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple1
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple2
((triple1) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple5) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5
((triple4) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1