The cat is rough. The cat is round. The cat sees the lion. The dog chases the cat. The lion is cold. The lion is young. The lion needs the cat. The lion needs the squirrel. The squirrel chases the lion. The squirrel is blue. The squirrel needs the cat. The squirrel sees the dog. If something needs the squirrel and it chases the cat then the cat sees the lion. If something sees the squirrel then it is cold. If something sees the squirrel then the squirrel needs the dog. If something sees the dog then the dog chases the squirrel. If the cat needs the lion then the lion sees the squirrel. If something is round then it sees the lion. If something chases the squirrel then the squirrel needs the cat. If the squirrel sees the cat then the cat is blue.
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something needs the squirrel and it chases the cat then the cat sees the lion.
((("something" "needs" "squirrel" "+") ("something" "chases" "cat" "+")) -> ("cat" "sees" "lion" "+"))
If something sees the squirrel then it is cold.
((("something" "sees" "squirrel" "+")) -> ("something" "is" "cold" "+"))
If something sees the squirrel then the squirrel needs the dog.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "needs" "dog" "+"))
If something sees the dog then the dog chases the squirrel.
((("something" "sees" "dog" "+")) -> ("dog" "chases" "squirrel" "+"))
If the cat needs the lion then the lion sees the squirrel.
((("cat" "needs" "lion" "+")) -> ("lion" "sees" "squirrel" "+"))
If something is round then it sees the lion.
((("something" "is" "round" "+")) -> ("something" "sees" "lion" "+"))
If something chases the squirrel then the squirrel needs the cat.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "needs" "cat" "+"))
If the squirrel sees the cat then the cat is blue.
((("squirrel" "sees" "cat" "+")) -> ("cat" "is" "blue" "+"))
The lion needs the cat.
True
1
proof
[(triple7)]
("lion" "needs" "cat" "+")
triple7
The lion is not young.
False
1
inv-proof
[(triple6)]
("lion" "is" "young" "-")
triple6
The dog chases the squirrel.
True
2
proof
[(((triple12) -> rule4))]
("dog" "chases" "squirrel" "+")
((triple12) -> (rule4 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog does not chase the squirrel.
False
2
inv-proof
[(((triple12) -> rule4))]
("dog" "chases" "squirrel" "-")
((triple12) -> (rule4 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The cat is not cold.
Unknown
inv-rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "cold" "-")
The lion sees the lion.
Unknown
rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "sees" "lion" "+")
The cat is not young.
Unknown
inv-random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "-")
The dog chases the lion.
Unknown
random
[@0: The dog chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "lion" "+")
@0: The cat is rough.[(triple1)] The cat is round.[(triple2)] The cat sees the lion.[(triple3 OR ((triple2) -> rule6))] The dog chases the cat.[(triple4)] The lion is cold.[(triple5)] The lion is young.[(triple6)] The lion needs the cat.[(triple7)] The lion needs the squirrel.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel is blue.[(triple10)] The squirrel needs the cat.[(triple11 OR ((((triple12) -> rule4)) -> rule7))] The squirrel sees the dog.[(triple12)] @1: The dog chases the squirrel.[(((triple12) -> rule4))]
The cat is rough.
("cat" "is" "rough" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cat sees the lion.
("cat" "sees" "lion" "+")
triple3
((triple2) -> (rule6 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion needs the cat.
("lion" "needs" "cat" "+")
triple7
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple8
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple11
((((triple12) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int2
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple12
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((triple12) -> (rule4 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1