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