The cat is cold. The cat likes the lion. The cat likes the squirrel. The cat needs the squirrel. The cat sees the squirrel. The lion is blue. The lion is nice. The lion is round. The lion likes the squirrel. The lion needs the squirrel. The squirrel needs the cat. The squirrel sees the lion. If something sees the squirrel and it needs the lion then the squirrel likes the lion. If something needs the lion then the lion needs the cat. If something sees the cat then it likes the lion. If something likes the cat then it needs the squirrel. If something is round then it is nice. If something is kind then it sees the lion. If something is cold then it needs the lion. If the squirrel is cold and the squirrel sees the cat then the cat needs the lion.
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If something sees the squirrel and it needs the lion then the squirrel likes the lion.
((("something" "sees" "squirrel" "+") ("something" "needs" "lion" "+")) -> ("squirrel" "likes" "lion" "+"))
If something needs the lion then the lion needs the cat.
((("something" "needs" "lion" "+")) -> ("lion" "needs" "cat" "+"))
If something sees the cat then it likes the lion.
((("something" "sees" "cat" "+")) -> ("something" "likes" "lion" "+"))
If something likes the cat then it needs the squirrel.
((("something" "likes" "cat" "+")) -> ("something" "needs" "squirrel" "+"))
If something is round then it is nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something is kind then it sees the lion.
((("something" "is" "kind" "+")) -> ("something" "sees" "lion" "+"))
If something is cold then it needs the lion.
((("something" "is" "cold" "+")) -> ("something" "needs" "lion" "+"))
If the squirrel is cold and the squirrel sees the cat then the cat needs the lion.
((("squirrel" "is" "cold" "+") ("squirrel" "sees" "cat" "+")) -> ("cat" "needs" "lion" "+"))
The lion is blue.
True
1
proof
[(triple6)]
("lion" "is" "blue" "+")
triple6
The cat does not like the lion.
False
1
inv-proof
[(triple2)]
("cat" "likes" "lion" "-")
triple2
The cat needs the lion.
True
2
proof
[(((triple1) -> rule7))]
("cat" "needs" "lion" "+")
((triple1) -> (rule7 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat does not need the lion.
False
2
inv-proof
[(((triple1) -> rule7))]
("cat" "needs" "lion" "-")
((triple1) -> (rule7 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The lion needs the cat.
True
3
proof
[(((((triple1) -> rule7)) -> rule2))]
("lion" "needs" "cat" "+")
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The squirrel does not like the lion.
False
4
inv-proof
[(((triple5 ((triple1) -> rule7)) -> rule1))]
("squirrel" "likes" "lion" "-")
((triple5 ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "likes" "lion" "-")
The squirrel needs the lion.
Unknown
rconc
[@1: The squirrel needs the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "needs" "lion" "+")
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "needs" "lion" "-")
The lion likes the cat.
Unknown
random
[@0: The lion likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cat" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cat is cold.[(triple1)] The cat likes the lion.[(triple2)] The cat likes the squirrel.[(triple3)] The cat needs the squirrel.[(triple4)] The cat sees the squirrel.[(triple5)] The lion is blue.[(triple6)] The lion is nice.[(triple7 OR ((triple8) -> rule5))] The lion is round.[(triple8)] The lion likes the squirrel.[(triple9)] The lion needs the squirrel.[(triple10)] The squirrel needs the cat.[(triple11)] The squirrel sees the lion.[(triple12)] @1: The cat needs the lion.[(((triple1) -> rule7))] @2: The lion needs the cat.[(((((triple1) -> rule7)) -> rule2))] The squirrel likes the lion.[(((triple5 ((triple1) -> rule7)) -> rule1))]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat likes the lion.
("cat" "likes" "lion" "+")
triple2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple3
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple4
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple5
The lion is blue.
("lion" "is" "blue" "+")
triple6
The lion is nice.
("lion" "is" "nice" "+")
triple7
((triple8) -> (rule5 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is round.
("lion" "is" "round" "+")
triple8
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple9
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple10
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple11
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple12
The cat needs the lion.
("cat" "needs" "lion" "+")
((triple1) -> (rule7 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The lion needs the cat.
("lion" "needs" "cat" "+")
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
((triple5 ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2