The dog eats the squirrel. The dog is blue. The dog is cold. The dog is red. The dog is round. The dog is young. The dog needs the squirrel. The dog sees the squirrel. The squirrel eats the dog. The squirrel is blue. The squirrel is cold. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel needs the dog. The squirrel sees the dog. If something eats the squirrel then it is young. If something is blue and it needs the dog then the dog needs the squirrel.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something eats the squirrel then it is young.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "young" "+"))
If something is blue and it needs the dog then the dog needs the squirrel.
((("something" "is" "blue" "+") ("something" "needs" "dog" "+")) -> ("dog" "needs" "squirrel" "+"))
The squirrel eats the dog.
True
1
proof
[(triple9)]
("squirrel" "eats" "dog" "+")
triple9
The squirrel is not red.
False
1
inv-proof
[(triple12)]
("squirrel" "is" "red" "-")
triple12
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The dog eats the squirrel.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is red.[(triple4)] The dog is round.[(triple5)] The dog is young.[(triple6 OR ((triple1) -> rule1))] The dog needs the squirrel.[(triple7 OR ((triple10 triple15) -> rule2))] The dog sees the squirrel.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is red.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the dog.[(triple15)] The squirrel sees the dog.[(triple16)]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
((triple1) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple7
((triple10 triple15) -> (rule2 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple8
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple15
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple16