The lion chases the rabbit. The lion is big. The lion is blue. The lion is cold. The lion is green. The lion likes the rabbit. The lion needs the rabbit. The rabbit chases the lion. The rabbit is big. The rabbit is green. The rabbit likes the lion. The rabbit needs the lion. Blue people are round. If the rabbit is blue then the rabbit likes the lion. If someone is blue and they need the lion then they chase the lion. If someone likes the lion then they chase the rabbit. If someone chases the rabbit then they need the lion. If someone chases the rabbit then they need the lion.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If the rabbit is blue then the rabbit likes the lion.
((("rabbit" "is" "blue" "+")) -> ("rabbit" "likes" "lion" "+"))
If someone is blue and they need the lion then they chase the lion.
((("someone" "is" "blue" "+") ("someone" "needs" "lion" "+")) -> ("someone" "chases" "lion" "+"))
If someone likes the lion then they chase the rabbit.
((("someone" "likes" "lion" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone chases the rabbit then they need the lion.
((("someone" "chases" "rabbit" "+")) -> ("someone" "needs" "lion" "+"))
If someone chases the rabbit then they need the lion.
((("someone" "chases" "rabbit" "+")) -> ("someone" "needs" "lion" "+"))
The lion is cold.
True
1
proof
[(triple4)]
("lion" "is" "cold" "+")
triple4
The lion does not need the rabbit.
False
1
inv-proof
[(triple7)]
("lion" "needs" "rabbit" "-")
triple7
The rabbit chases the rabbit.
True
2
proof
[(((triple11) -> rule4))]
("rabbit" "chases" "rabbit" "+")
((triple11) -> (rule4 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The lion does not need the lion.
False
2
inv-proof
[(((triple1) -> rule5) OR ((triple1) -> rule6))]
("lion" "needs" "lion" "-")
((triple1) -> (rule5 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
((triple1) -> (rule6 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion chases the lion.
True
4
proof
[(((triple3 ((triple1) -> rule5)) -> rule3) OR ((triple3 ((triple1) -> rule6)) -> rule3))]
("lion" "chases" "lion" "+")
((triple3 ((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
((triple3 ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion does not chase the lion.
False
4
inv-proof
[(((triple3 ((triple1) -> rule5)) -> rule3) OR ((triple3 ((triple1) -> rule6)) -> rule3))]
("lion" "chases" "lion" "-")
((triple3 ((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
((triple3 ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "round" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The lion chases the rabbit.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is green.[(triple5)] The lion likes the rabbit.[(triple6)] The lion needs the rabbit.[(triple7)] The rabbit chases the lion.[(triple8)] The rabbit is big.[(triple9)] The rabbit is green.[(triple10)] The rabbit likes the lion.[(triple11)] The rabbit needs the lion.[(triple12 OR ((((triple11) -> rule4)) -> rule5) OR ((((triple11) -> rule4)) -> rule6))] @1: The lion is round.[(((triple3) -> rule1))] The lion needs the lion.[(((triple1) -> rule5) OR ((triple1) -> rule6))] The rabbit chases the rabbit.[(((triple11) -> rule4))] @2: The lion chases the lion.[(((triple3 ((triple1) -> rule5)) -> rule3) OR ((triple3 ((triple1) -> rule6)) -> rule3))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion is big.
("lion" "is" "big" "+")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple3
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
triple5
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple6
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple7
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple11
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple12
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
((((triple11) -> (rule4 % int2))) -> (rule6 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The lion is round.
("lion" "is" "round" "+")
((triple3) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
((triple1) -> (rule5 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
((triple1) -> (rule6 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple11) -> (rule4 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple3 ((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
((triple3 ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2