The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit is round. Green, round people are rough. All green, round people are kind. Red, kind people are green.
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
Green, round people are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
All green, round people are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Red, kind people are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
The rabbit is green.
True
1
proof
[(triple1 OR ((triple3 triple2) -> rule3))]
("rabbit" "is" "green" "+")
triple1
((triple3 triple2) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not green.
False
1
inv-proof
[(triple1 OR ((triple3 triple2) -> rule3))]
("rabbit" "is" "green" "-")
triple1
((triple3 triple2) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
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 chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The rabbit is green.[(triple1 OR ((triple3 triple2) -> rule3))] The rabbit is kind.[(triple2 OR ((triple1 triple5) -> rule2))] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4 OR ((triple1 triple5) -> rule1) OR ((((triple3 triple2) -> rule3) triple5) -> rule1))] The rabbit is round.[(triple5)]
The rabbit is green.
("rabbit" "is" "green" "+")
triple1
((triple3 triple2) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple2
((triple1 triple5) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
((triple1 triple5) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((((triple3 triple2) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
triple5