The rabbit is big. The rabbit is blue. The rabbit is not green. The rabbit is nice. The rabbit is rough. All rough, big people are blue. If someone is green and big then they are not blue.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is not green.
("rabbit" "is" "green" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
All rough, big people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and big then they are not blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "-"))
The rabbit is blue.
True
1
proof
[(triple2 OR ((triple5 triple1) -> rule1))]
("rabbit" "is" "blue" "+")
triple2
((triple5 triple1) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not big.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "big" "-")
triple1
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2 OR ((triple5 triple1) -> rule1))] The rabbit is nice.[(triple4)] The rabbit is not green.[(triple3)] The rabbit is rough.[(triple5)]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
((triple5 triple1) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple4
The rabbit is not green.
("rabbit" "is" "green" "-")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple5