The rabbit eats the squirrel. The rabbit is green. The rabbit is not red. The rabbit is rough. The rabbit is round. The rabbit does not like the squirrel. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is not rough. The squirrel is round. The squirrel likes the rabbit. The squirrel visits the rabbit. All rough people are not red. If someone visits the rabbit and they visit the squirrel then the squirrel likes the rabbit. If someone likes the rabbit and the rabbit is round then they are green. If someone visits the rabbit then they like the rabbit. If someone eats the rabbit and the rabbit likes the squirrel then the squirrel is young. If someone is green and they do not visit the squirrel then they do not like the squirrel. If someone likes the squirrel then the squirrel eats the rabbit. Red people are not rough.
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not like the squirrel.
("rabbit" "likes" "squirrel" "-")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
All rough people are not red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "-"))
If someone visits the rabbit and they visit the squirrel then the squirrel likes the rabbit.
((("someone" "visits" "rabbit" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If someone likes the rabbit and the rabbit is round then they are green.
((("someone" "likes" "rabbit" "+") ("rabbit" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone visits the rabbit then they like the rabbit.
((("someone" "visits" "rabbit" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone eats the rabbit and the rabbit likes the squirrel then the squirrel is young.
((("someone" "eats" "rabbit" "+") ("rabbit" "likes" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If someone is green and they do not visit the squirrel then they do not like the squirrel.
((("someone" "is" "green" "+") ("someone" "visits" "squirrel" "~")) -> ("someone" "likes" "squirrel" "-"))
If someone likes the squirrel then the squirrel eats the rabbit.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "eats" "rabbit" "+"))
Red people are not rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "-"))
The rabbit eats the squirrel.
True
1
proof
[(triple1)]
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit is not rough.
False
1
inv-proof
[(triple4)]
("rabbit" "is" "rough" "-")
triple4
The squirrel is green.
True
3
proof
[(((triple11 triple5) -> rule3) OR ((((triple12) -> rule4) triple5) -> rule3))]
("squirrel" "is" "green" "+")
((triple11 triple5) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((((triple12) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
The squirrel is not green.
False
3
inv-proof
[(((triple11 triple5) -> rule3) OR ((((triple12) -> rule4) triple5) -> rule3))]
("squirrel" "is" "green" "-")
((triple11 triple5) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((((triple12) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The squirrel is young.
Unknown
rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "young" "+")
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 is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The rabbit does not like the squirrel.[(triple6)] The rabbit eats the squirrel.[(triple1)] The rabbit is green.[(triple2)] The rabbit is not red.[(triple3 OR ((triple4) -> rule1))] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)] The rabbit visits the squirrel.[(triple7)] The squirrel eats the rabbit.[(triple8)] The squirrel is not rough.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the rabbit.[(triple11 OR ((triple12) -> rule4))] The squirrel visits the rabbit.[(triple12)] @1: The squirrel is green.[(((triple11 triple5) -> rule3) OR ((((triple12) -> rule4) triple5) -> rule3))]
The rabbit does not like the squirrel.
("rabbit" "likes" "squirrel" "-")
triple6
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit is green.
("rabbit" "is" "green" "+")
triple2
The rabbit is not red.
("rabbit" "is" "red" "-")
triple3
((triple4) -> (rule1 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple7
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple8
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple11
((triple12) -> (rule4 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple12
The squirrel is green.
("squirrel" "is" "green" "+")
((triple11 triple5) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((((triple12) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2