The rabbit is green. The rabbit is kind. The rabbit is not red. The rabbit is rough. The rabbit is round. All red things are not kind. All green things are kind. All green things are not red. All round, rough things are not red. If something is green then it is rough. If something is round and kind then it is rough. Kind, red things are round. If the rabbit is round then the rabbit is not red.
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
All red things are not kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "-"))
All green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
All green things are not red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "-"))
All round, rough things are not red.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "-"))
If something is green then it is rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is round and kind then it is rough.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Kind, red things are round.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If the rabbit is round then the rabbit is not red.
((("rabbit" "is" "round" "+")) -> ("rabbit" "is" "red" "-"))
The rabbit is kind.
True
1
proof
[(triple2 OR ((triple1) -> rule2))]
("rabbit" "is" "kind" "+")
triple2
((triple1) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is not kind.
False
1
inv-proof
[(triple2 OR ((triple1) -> rule2))]
("rabbit" "is" "kind" "-")
triple2
((triple1) -> (rule2 % 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 green.[(triple1)] The rabbit is kind.[(triple2 OR ((triple1) -> rule2))] The rabbit is not red.[(triple3 OR ((triple1) -> rule3) OR ((triple5) -> rule8) OR ((triple5 triple4) -> rule4) OR ((triple5 ((triple1) -> rule5)) -> rule4) OR ((triple5 ((triple5 triple2) -> rule6)) -> rule4) OR ((triple5 ((triple5 ((triple1) -> rule2)) -> rule6)) -> rule4))] The rabbit is rough.[(triple4 OR ((triple1) -> rule5) OR ((triple5 triple2) -> rule6) OR ((triple5 ((triple1) -> rule2)) -> rule6))] The rabbit is round.[(triple5)]
The rabbit is green.
("rabbit" "is" "green" "+")
triple1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple2
((triple1) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is not red.
("rabbit" "is" "red" "-")
triple3
((triple1) -> (rule3 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
((triple5) -> (rule8 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
((triple5 triple4) -> (rule4 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
((triple5 ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((triple5 ((triple5 triple2) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((triple5 ((triple5 ((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
((triple1) -> (rule5 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple5 triple2) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple5 ((triple1) -> (rule2 % int2))) -> (rule6 % 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