The cat eats the squirrel. The cat is cold. The cat is kind. The cat is nice. The cat is rough. The cat needs the squirrel. The cat visits the squirrel. The squirrel eats the cat. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel needs the cat. The squirrel visits the cat. If something visits the cat then the cat is round. Cold things are kind.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If something visits the cat then the cat is round.
((("something" "visits" "cat" "+")) -> ("cat" "is" "round" "+"))
Cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
The squirrel is kind.
True
1
proof
[(triple10 OR ((triple9) -> rule2))]
("squirrel" "is" "kind" "+")
triple10
((triple9) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not rough.
False
1
inv-proof
[(triple12)]
("squirrel" "is" "rough" "-")
triple12
The cat is round.
True
2
proof
[(((triple15) -> rule1))]
("cat" "is" "round" "+")
((triple15) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is not round.
False
2
inv-proof
[(((triple15) -> rule1))]
("cat" "is" "round" "-")
((triple15) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat eats the squirrel.[(triple1)] The cat is cold.[(triple2)] The cat is kind.[(triple3 OR ((triple2) -> rule2))] The cat is nice.[(triple4)] The cat is rough.[(triple5)] The cat needs the squirrel.[(triple6)] The cat visits the squirrel.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is kind.[(triple10 OR ((triple9) -> rule2))] The squirrel is nice.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is round.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel visits the cat.[(triple15)] @1: The cat is round.[(((triple15) -> rule1))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
((triple2) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple6
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple7
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
((triple9) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple14
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple15
The cat is round.
("cat" "is" "round" "+")
((triple15) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1