The lion eats the rabbit. The lion is blue. The lion is kind. The lion is red. The lion is rough. The lion is young. The lion likes the rabbit. The lion visits the rabbit. The rabbit eats the lion. The rabbit is blue. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit is young. The rabbit likes the lion. The rabbit visits the lion. If the rabbit eats the lion then the rabbit is young. If someone is blue and they eat the rabbit then the rabbit visits the lion. If someone is red and they like the rabbit then they eat the rabbit. If the lion visits the rabbit and the lion likes the rabbit then the rabbit visits the lion. If someone likes the lion and the lion is kind then they like the rabbit. If someone likes the rabbit and they eat the lion then the lion visits the rabbit.
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If the rabbit eats the lion then the rabbit is young.
((("rabbit" "eats" "lion" "+")) -> ("rabbit" "is" "young" "+"))
If someone is blue and they eat the rabbit then the rabbit visits the lion.
((("someone" "is" "blue" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "visits" "lion" "+"))
If someone is red and they like the rabbit then they eat the rabbit.
((("someone" "is" "red" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "eats" "rabbit" "+"))
If the lion visits the rabbit and the lion likes the rabbit then the rabbit visits the lion.
((("lion" "visits" "rabbit" "+") ("lion" "likes" "rabbit" "+")) -> ("rabbit" "visits" "lion" "+"))
If someone likes the lion and the lion is kind then they like the rabbit.
((("someone" "likes" "lion" "+") ("lion" "is" "kind" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone likes the rabbit and they eat the lion then the lion visits the rabbit.
((("someone" "likes" "rabbit" "+") ("someone" "eats" "lion" "+")) -> ("lion" "visits" "rabbit" "+"))
The lion is young.
True
1
proof
[(triple6)]
("lion" "is" "young" "+")
triple6
The lion does not visit the rabbit.
False
1
inv-proof
[(triple8 OR ((((triple15 triple3) -> rule5) triple9) -> rule6))]
("lion" "visits" "rabbit" "-")
triple8
((((triple15 triple3) -> (rule5 % int2)) triple9) -> (rule6 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit likes the rabbit.
True
3
proof
[(((triple15 triple3) -> rule5))]
("rabbit" "likes" "rabbit" "+")
((triple15 triple3) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit does not like the rabbit.
False
3
inv-proof
[(((triple15 triple3) -> rule5))]
("rabbit" "likes" "rabbit" "-")
((triple15 triple3) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit eats the rabbit.
True
5
proof
[(((triple12 ((triple15 triple3) -> rule5)) -> rule3))]
("rabbit" "eats" "rabbit" "+")
((triple12 ((triple15 triple3) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit does not eat the rabbit.
False
5
inv-proof
[(((triple12 ((triple15 triple3) -> rule5)) -> rule3))]
("rabbit" "eats" "rabbit" "-")
((triple12 ((triple15 triple3) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The lion eats the rabbit.[(triple1 OR ((triple4 triple7) -> rule3))] The lion is blue.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion likes the rabbit.[(triple7)] The lion visits the rabbit.[(triple8 OR ((((triple15 triple3) -> rule5) triple9) -> rule6))] The rabbit eats the lion.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is red.[(triple12)] The rabbit is rough.[(triple13)] The rabbit is young.[(triple14 OR ((triple9) -> rule1))] The rabbit likes the lion.[(triple15)] The rabbit visits the lion.[(triple16 OR ((triple2 triple1) -> rule2) OR ((triple8 triple7) -> rule4) OR ((triple2 ((triple4 triple7) -> rule3)) -> rule2) OR ((triple10 ((triple12 ((triple15 triple3) -> rule5)) -> rule3)) -> rule2) OR ((((((triple15 triple3) -> rule5) triple9) -> rule6) triple7) -> rule4))] @1: The rabbit likes the rabbit.[(((triple15 triple3) -> rule5))] @2: The rabbit eats the rabbit.[(((triple12 ((triple15 triple3) -> rule5)) -> rule3))]
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple1
((triple4 triple7) -> (rule3 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3
The lion is red.
("lion" "is" "red" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple7
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple8
((((triple15 triple3) -> (rule5 % int2)) triple9) -> (rule6 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
The rabbit is red.
("rabbit" "is" "red" "+")
triple12
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
((triple9) -> (rule1 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple15
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple16
((triple2 triple1) -> (rule2 % int1))
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int1
((triple8 triple7) -> (rule4 % int1))
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int1
((triple2 ((triple4 triple7) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int2
((triple10 ((triple12 ((triple15 triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
((((((triple15 triple3) -> (rule5 % int3)) triple9) -> (rule6 % int2)) triple7) -> (rule4 % int1))
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int1
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple15 triple3) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple12 ((triple15 triple3) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2