The lion eats the rabbit. The lion is kind. The lion visits the rabbit. The rabbit eats the lion. The rabbit eats the squirrel. The rabbit is green. The rabbit is rough. The rabbit is round. The rabbit is young. The rabbit sees the lion. The rabbit sees the squirrel. The rabbit visits the lion. The rabbit visits the squirrel. The squirrel does not eat the rabbit. The squirrel is kind. If something visits the lion and the lion is young then it is kind. If something is rough and it eats the lion then the lion is young. If something eats the squirrel and the squirrel visits the lion then the lion eats the rabbit.
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If something visits the lion and the lion is young then it is kind.
((("something" "visits" "lion" "+") ("lion" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is rough and it eats the lion then the lion is young.
((("something" "is" "rough" "+") ("something" "eats" "lion" "+")) -> ("lion" "is" "young" "+"))
If something eats the squirrel and the squirrel visits the lion then the lion eats the rabbit.
((("something" "eats" "squirrel" "+") ("squirrel" "visits" "lion" "+")) -> ("lion" "eats" "rabbit" "+"))
The rabbit is round.
True
1
proof
[(triple8)]
("rabbit" "is" "round" "+")
triple8
The rabbit is not round.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "round" "-")
triple8
The lion is young.
True
3
proof
[(((triple7 triple4) -> rule2))]
("lion" "is" "young" "+")
((triple7 triple4) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is not young.
False
3
inv-proof
[(((triple7 triple4) -> rule2))]
("lion" "is" "young" "-")
((triple7 triple4) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The rabbit is kind.
True
5
proof
[(((triple12 ((triple7 triple4) -> rule2)) -> rule1))]
("rabbit" "is" "kind" "+")
((triple12 ((triple7 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The rabbit is not kind.
False
5
inv-proof
[(((triple12 ((triple7 triple4) -> rule2)) -> rule1))]
("rabbit" "is" "kind" "-")
((triple12 ((triple7 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel does not eat the lion.
Unknown
inv-random
[@0: The squirrel eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "lion" "-")
The squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The squirrel does not see the rabbit.
Unknown
inv-random
[@0: The squirrel sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "rabbit" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The lion eats the rabbit.[(triple1)] The lion is kind.[(triple2)] The lion visits the rabbit.[(triple3)] The rabbit eats the lion.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is green.[(triple6)] The rabbit is rough.[(triple7)] The rabbit is round.[(triple8)] The rabbit is young.[(triple9)] The rabbit sees the lion.[(triple10)] The rabbit sees the squirrel.[(triple11)] The rabbit visits the lion.[(triple12)] The rabbit visits the squirrel.[(triple13)] The squirrel does not eat the rabbit.[(triple14)] The squirrel is kind.[(triple15)] @1: The lion is young.[(((triple7 triple4) -> rule2))] @2: The rabbit is kind.[(((triple12 ((triple7 triple4) -> rule2)) -> rule1))]
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple3
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit is green.
("rabbit" "is" "green" "+")
triple6
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple10
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple11
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple12
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple13
The squirrel does not eat the rabbit.
("squirrel" "eats" "rabbit" "-")
triple14
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple15
The lion is young.
("lion" "is" "young" "+")
((triple7 triple4) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple12 ((triple7 triple4) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2