The lion chases the rabbit. The lion eats the rabbit. The lion is blue. The lion is cold. The lion is kind. The lion is red. The lion needs the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit needs the lion. If something is kind and it chases the lion then it eats the rabbit. If something eats the rabbit then it needs the rabbit.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
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 blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
If something is kind and it chases the lion then it eats the rabbit.
((("something" "is" "kind" "+") ("something" "chases" "lion" "+")) -> ("something" "eats" "rabbit" "+"))
If something eats the rabbit then it needs the rabbit.
((("something" "eats" "rabbit" "+")) -> ("something" "needs" "rabbit" "+"))
The rabbit is red.
True
1
proof
[(triple13)]
("rabbit" "is" "red" "+")
triple13
The lion is not red.
False
1
inv-proof
[(triple6)]
("lion" "is" "red" "-")
triple6
The rabbit eats the rabbit.
True
3
proof
[(((triple12 triple8) -> rule1))]
("rabbit" "eats" "rabbit" "+")
((triple12 triple8) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit does not eat the rabbit.
False
3
inv-proof
[(((triple12 triple8) -> rule1))]
("rabbit" "eats" "rabbit" "-")
((triple12 triple8) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit needs the rabbit.
True
4
proof
[(((((triple12 triple8) -> rule1)) -> rule2))]
("rabbit" "needs" "rabbit" "+")
((((triple12 triple8) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit does not need the rabbit.
False
4
inv-proof
[(((((triple12 triple8) -> rule1)) -> rule2))]
("rabbit" "needs" "rabbit" "-")
((((triple12 triple8) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
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 chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
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 is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The lion chases the rabbit.[(triple1)] The lion eats the rabbit.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is kind.[(triple5)] The lion is red.[(triple6)] The lion needs the rabbit.[(triple7 OR ((triple2) -> rule2))] The rabbit chases the lion.[(triple8)] The rabbit eats the lion.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is red.[(triple13)] The rabbit is rough.[(triple14)] The rabbit needs the lion.[(triple15)] @1: The rabbit eats the rabbit.[(((triple12 triple8) -> rule1))] @2: The rabbit needs the rabbit.[(((((triple12 triple8) -> rule1)) -> rule2))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple3
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple7
((triple2) -> (rule2 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple8
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple14
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple15
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple12 triple8) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((((triple12 triple8) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2