The lion chases the rabbit. The lion eats the rabbit. The lion is big. The lion is blue. The lion is nice. The lion is rough. The lion needs the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is not big. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is not rough. The rabbit needs the lion. If the lion does not chase the rabbit then the rabbit eats the lion. If something is blue and nice then it eats the rabbit. If the lion needs the rabbit and the rabbit is nice then the rabbit chases the lion. If something eats the rabbit and it is not green then the rabbit chases the lion. If something eats the lion then it is nice. If the lion eats the rabbit then the lion needs the rabbit. If something needs the rabbit and it does not chase the lion then it does not need the lion. If something is big and it does not need the rabbit then it is rough.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is not big.
("rabbit" "is" "big" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
If the lion does not chase the rabbit then the rabbit eats the lion.
((("lion" "chases" "rabbit" "~")) -> ("rabbit" "eats" "lion" "+"))
If something is blue and nice then it eats the rabbit.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "eats" "rabbit" "+"))
If the lion needs the rabbit and the rabbit is nice then the rabbit chases the lion.
((("lion" "needs" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("rabbit" "chases" "lion" "+"))
If something eats the rabbit and it is not green then the rabbit chases the lion.
((("something" "eats" "rabbit" "+") ("something" "is" "green" "~")) -> ("rabbit" "chases" "lion" "+"))
If something eats the lion then it is nice.
((("something" "eats" "lion" "+")) -> ("something" "is" "nice" "+"))
If the lion eats the rabbit then the lion needs the rabbit.
((("lion" "eats" "rabbit" "+")) -> ("lion" "needs" "rabbit" "+"))
If something needs the rabbit and it does not chase the lion then it does not need the lion.
((("something" "needs" "rabbit" "+") ("something" "chases" "lion" "~")) -> ("something" "needs" "lion" "-"))
If something is big and it does not need the rabbit then it is rough.
((("something" "is" "big" "+") ("something" "needs" "rabbit" "~")) -> ("something" "is" "rough" "+"))
The rabbit is not rough.
True
1
proof
[(triple14)]
("rabbit" "is" "rough" "-")
triple14
The lion does not need the rabbit.
False
1
inv-proof
[(triple7 OR ((triple2) -> rule6) OR ((((triple4 triple5) -> rule2)) -> rule6))]
("lion" "needs" "rabbit" "-")
triple7
((triple2) -> (rule6 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
((((triple4 triple5) -> (rule2 % int2))) -> (rule6 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int2
The rabbit eats the rabbit.
True
3
proof
[(((triple11 triple13) -> rule2) OR ((triple11 ((triple9) -> rule5)) -> rule2))]
("rabbit" "eats" "rabbit" "+")
((triple11 triple13) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
((triple11 ((triple9) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit does not eat the rabbit.
False
3
inv-proof
[(((triple11 triple13) -> rule2) OR ((triple11 ((triple9) -> rule5)) -> rule2))]
("rabbit" "eats" "rabbit" "-")
((triple11 triple13) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
((triple11 ((triple9) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The lion chases the rabbit.[(triple1)] The lion eats the rabbit.[(triple2 OR ((triple4 triple5) -> rule2))] The lion is big.[(triple3)] The lion is blue.[(triple4)] The lion is nice.[(triple5)] The lion is rough.[(triple6)] The lion needs the rabbit.[(triple7 OR ((triple2) -> rule6) OR ((((triple4 triple5) -> rule2)) -> rule6))] The rabbit chases the lion.[(triple8 OR ((triple7 triple13) -> rule3) OR ((triple7 ((triple9) -> rule5)) -> rule3) OR ((((triple2) -> rule6) triple13) -> rule3) OR ((((triple2) -> rule6) ((triple9) -> rule5)) -> rule3) OR ((((((triple4 triple5) -> rule2)) -> rule6) triple13) -> rule3) OR ((((((triple4 triple5) -> rule2)) -> rule6) ((triple9) -> rule5)) -> rule3))] The rabbit eats the lion.[(triple9)] The rabbit is blue.[(triple11)] The rabbit is green.[(triple12)] The rabbit is nice.[(triple13 OR ((triple9) -> rule5))] The rabbit is not big.[(triple10)] The rabbit is not rough.[(triple14)] The rabbit needs the lion.[(triple15)] @1: The rabbit eats the rabbit.[(((triple11 triple13) -> rule2) OR ((triple11 ((triple9) -> rule5)) -> rule2))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple2
((triple4 triple5) -> (rule2 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion is big.
("lion" "is" "big" "+")
triple3
The lion is blue.
("lion" "is" "blue" "+")
triple4
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple7
((triple2) -> (rule6 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
((((triple4 triple5) -> (rule2 % int2))) -> (rule6 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple8
((triple7 triple13) -> (rule3 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
((triple7 ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
((((triple2) -> (rule6 % int2)) triple13) -> (rule3 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int2
((((triple2) -> (rule6 % int3)) ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int3
((((((triple4 triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple13) -> (rule3 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int3
((((((triple4 triple5) -> (rule2 % int4))) -> (rule6 % int3)) ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int3
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int4
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple13
((triple9) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is not big.
("rabbit" "is" "big" "-")
triple10
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple14
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple15
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple11 triple13) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
((triple11 ((triple9) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2