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