The rabbit is not big. The rabbit is blue. The rabbit is rough. The rabbit is round. The rabbit is young. If the rabbit is rough then the rabbit is blue.
The rabbit is not big.
("rabbit" "is" "big" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If the rabbit is rough then the rabbit is blue.
((("rabbit" "is" "rough" "+")) -> ("rabbit" "is" "blue" "+"))
The rabbit is not big.
True
1
proof
[(triple1)]
("rabbit" "is" "big" "-")
triple1
The rabbit is big.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "big" "+")
triple1
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 blue.[(triple2 OR ((triple3) -> rule1))] The rabbit is not big.[(triple1)] The rabbit is rough.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
((triple3) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not big.
("rabbit" "is" "big" "-")
triple1
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5