The lion chases the rabbit. The lion does not eat the rabbit. The lion is blue. The lion sees the rabbit. The rabbit chases the lion. The rabbit chases the squirrel. The rabbit eats the lion. The rabbit is big. The squirrel chases the rabbit. The squirrel does not eat the lion. The squirrel eats the rabbit. The squirrel is blue. The squirrel is cold. The squirrel is not green. The squirrel is not round. The squirrel sees the lion. If something sees the rabbit then it eats the lion. If the rabbit eats the squirrel then the squirrel chases the lion. If the lion chases the rabbit then the lion sees the squirrel. If the squirrel is big and the squirrel chases the rabbit then the squirrel eats the rabbit. If something is cold and it sees the squirrel then it is not green. If something sees the rabbit and it does not eat the rabbit then it is cold.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel does not eat the lion.
("squirrel" "eats" "lion" "-")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If something sees the rabbit then it eats the lion.
((("something" "sees" "rabbit" "+")) -> ("something" "eats" "lion" "+"))
If the rabbit eats the squirrel then the squirrel chases the lion.
((("rabbit" "eats" "squirrel" "+")) -> ("squirrel" "chases" "lion" "+"))
If the lion chases the rabbit then the lion sees the squirrel.
((("lion" "chases" "rabbit" "+")) -> ("lion" "sees" "squirrel" "+"))
If the squirrel is big and the squirrel chases the rabbit then the squirrel eats the rabbit.
((("squirrel" "is" "big" "+") ("squirrel" "chases" "rabbit" "+")) -> ("squirrel" "eats" "rabbit" "+"))
If something is cold and it sees the squirrel then it is not green.
((("something" "is" "cold" "+") ("something" "sees" "squirrel" "+")) -> ("something" "is" "green" "-"))
If something sees the rabbit and it does not eat the rabbit then it is cold.
((("something" "sees" "rabbit" "+") ("something" "eats" "rabbit" "~")) -> ("something" "is" "cold" "+"))
The rabbit eats the lion.
True
1
proof
[(triple7)]
("rabbit" "eats" "lion" "+")
triple7
The squirrel is not blue.
False
1
inv-proof
[(triple12)]
("squirrel" "is" "blue" "-")
triple12
The lion eats the lion.
True
2
proof
[(((triple4) -> rule1))]
("lion" "eats" "lion" "+")
((triple4) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion does not eat the lion.
False
2
inv-proof
[(((triple4) -> rule1))]
("lion" "eats" "lion" "-")
((triple4) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is not green.
True
6
proof
[(((((triple4 triple2) -> rule6) ((triple1) -> rule3)) -> rule5))]
("lion" "is" "green" "-")
((((triple4 triple2) -> (rule6 % int3)) ((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The lion is not green.
("lion" "is" "green" "-")
int1
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The lion is green.
False
6
inv-proof
[(((((triple4 triple2) -> rule6) ((triple1) -> rule3)) -> rule5))]
("lion" "is" "green" "+")
((((triple4 triple2) -> (rule6 % int3)) ((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The lion is not green.
("lion" "is" "green" "-")
int1
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The squirrel does not chase the lion.
Unknown
inv-rconc
[@1: The squirrel chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "lion" "-")
The rabbit is cold.
Unknown
rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "cold" "+")
The squirrel does not see the rabbit.
Unknown
inv-random
[@0: The squirrel sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "rabbit" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The rabbit does not see the lion.
Unknown
inv-random
[@0: The rabbit sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "lion" "-")
The rabbit sees the squirrel.
Unknown
random
[@0: The rabbit sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "squirrel" "+")
@0: The lion chases the rabbit.[(triple1)] The lion does not eat the rabbit.[(triple2)] The lion is blue.[(triple3)] The lion sees the rabbit.[(triple4)] The rabbit chases the lion.[(triple5)] The rabbit chases the squirrel.[(triple6)] The rabbit eats the lion.[(triple7)] The rabbit is big.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel does not eat the lion.[(triple10)] The squirrel eats the rabbit.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is not green.[(triple14)] The squirrel is not round.[(triple15)] The squirrel sees the lion.[(triple16)] @1: The lion eats the lion.[(((triple4) -> rule1))] The lion is cold.[(((triple4 triple2) -> rule6))] The lion sees the squirrel.[(((triple1) -> rule3))] @2: The lion is not green.[(((((triple4 triple2) -> rule6) ((triple1) -> rule3)) -> rule5))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple3
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple4
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple5
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple6
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple9
The squirrel does not eat the lion.
("squirrel" "eats" "lion" "-")
triple10
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple13
The squirrel is not green.
("squirrel" "is" "green" "-")
triple14
The squirrel is not round.
("squirrel" "is" "round" "-")
triple15
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple16
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple4) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
((triple4 triple2) -> (rule6 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
((triple1) -> (rule3 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1
The lion is not green.
("lion" "is" "green" "-")
((((triple4 triple2) -> (rule6 % int3)) ((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The lion is not green.
("lion" "is" "green" "-")
int1
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3