The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is not nice. The rabbit is rough. If something is big then it is rough. If something is nice and blue then it is not green.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If something is big then it is rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
If something is nice and blue then it is not green.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
The rabbit is blue.
True
1
proof
[(triple2)]
("rabbit" "is" "blue" "+")
triple2
The rabbit is not rough.
False
1
inv-proof
[(triple5 OR ((triple1) -> rule1))]
("rabbit" "is" "rough" "-")
triple5
((triple1) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
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 eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is green.[(triple3)] The rabbit is not nice.[(triple4)] The rabbit is rough.[(triple5 OR ((triple1) -> rule1))]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple4
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple5
((triple1) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1