The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is rough. The rabbit is round. Green, big people are kind. If the rabbit is kind then the rabbit is big. All green, kind people are rough.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
Green, big people are kind.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If the rabbit is kind then the rabbit is big.
((("rabbit" "is" "kind" "+")) -> ("rabbit" "is" "big" "+"))
All green, kind people are rough.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
The rabbit is big.
True
1
proof
[(triple1 OR ((triple3) -> rule2))]
("rabbit" "is" "big" "+")
triple1
((triple3) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is not kind.
False
1
inv-proof
[(triple3 OR ((triple2 triple1) -> rule1))]
("rabbit" "is" "kind" "-")
triple3
((triple2 triple1) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
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 big.[(triple1 OR ((triple3) -> rule2))] The rabbit is green.[(triple2)] The rabbit is kind.[(triple3 OR ((triple2 triple1) -> rule1))] The rabbit is rough.[(triple4 OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple2 triple1) -> rule1)) -> rule3))] The rabbit is round.[(triple5)]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
((triple3) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
triple2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
((triple2 triple1) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
((triple2 triple3) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple2 ((triple2 triple1) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
triple5