The cat chases the lion. The cat eats the squirrel. The cat is nice. The cat is red. The cat sees the lion. The lion eats the cat. The lion eats the squirrel. The lion sees the cat. The squirrel chases the cat. The squirrel eats the cat. The squirrel is cold. The squirrel is red. The squirrel is not rough. The squirrel is round. The squirrel sees the lion. If something chases the lion then the lion sees the squirrel. If the squirrel is round and the squirrel sees the cat then the cat eats the lion.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If something chases the lion then the lion sees the squirrel.
((("something" "chases" "lion" "+")) -> ("lion" "sees" "squirrel" "+"))
If the squirrel is round and the squirrel sees the cat then the cat eats the lion.
((("squirrel" "is" "round" "+") ("squirrel" "sees" "cat" "+")) -> ("cat" "eats" "lion" "+"))
The squirrel is round.
True
1
proof
[(triple14)]
("squirrel" "is" "round" "+")
triple14
The squirrel does not see the lion.
False
1
inv-proof
[(triple15)]
("squirrel" "sees" "lion" "-")
triple15
The lion sees the squirrel.
True
2
proof
[(((triple1) -> rule1))]
("lion" "sees" "squirrel" "+")
((triple1) -> (rule1 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1
The lion does not see the squirrel.
False
2
inv-proof
[(((triple1) -> rule1))]
("lion" "sees" "squirrel" "-")
((triple1) -> (rule1 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1
The cat does not eat the lion.
Unknown
inv-rconc
[@1: The cat eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "lion" "-")
The cat sees the squirrel.
Unknown
random
[@0: The cat sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "squirrel" "+")
The cat does not chase the squirrel.
Unknown
inv-random
[@0: The cat chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "squirrel" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The cat chases the lion.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is nice.[(triple3)] The cat is red.[(triple4)] The cat sees the lion.[(triple5)] The lion eats the cat.[(triple6)] The lion eats the squirrel.[(triple7)] The lion sees the cat.[(triple8)] The squirrel chases the cat.[(triple9)] The squirrel eats the cat.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is not rough.[(triple13)] The squirrel is red.[(triple12)] The squirrel is round.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The lion sees the squirrel.[(((triple1) -> rule1))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
The cat sees the lion.
("cat" "sees" "lion" "+")
triple5
The lion eats the cat.
("lion" "eats" "cat" "+")
triple6
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple7
The lion sees the cat.
("lion" "sees" "cat" "+")
triple8
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple9
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple13
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple15
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
((triple1) -> (rule1 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1