The dog chases the squirrel. The dog is blue. The dog is cold. The dog is green. The dog is kind. The dog is young. The dog needs the squirrel. The dog sees the squirrel. The squirrel chases the dog. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is young. The squirrel needs the dog. The squirrel sees the dog. All green, blue people are kind. If someone chases the squirrel and the squirrel needs the dog then they need the dog. If someone sees the squirrel and they are blue then the squirrel sees the dog.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
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 chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
All green, blue people are kind.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the squirrel and the squirrel needs the dog then they need the dog.
((("someone" "chases" "squirrel" "+") ("squirrel" "needs" "dog" "+")) -> ("someone" "needs" "dog" "+"))
If someone sees the squirrel and they are blue then the squirrel sees the dog.
((("someone" "sees" "squirrel" "+") ("someone" "is" "blue" "+")) -> ("squirrel" "sees" "dog" "+"))
The squirrel sees the dog.
True
1
proof
[(triple16 OR ((triple8 triple2) -> rule3))]
("squirrel" "sees" "dog" "+")
triple16
((triple8 triple2) -> (rule3 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The dog is not blue.
False
1
inv-proof
[(triple2)]
("dog" "is" "blue" "-")
triple2
The dog needs the dog.
True
3
proof
[(((triple1 triple15) -> rule2))]
("dog" "needs" "dog" "+")
((triple1 triple15) -> (rule2 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog does not need the dog.
False
3
inv-proof
[(((triple1 triple15) -> rule2))]
("dog" "needs" "dog" "-")
((triple1 triple15) -> (rule2 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
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 squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The dog chases the squirrel.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog is kind.[(triple5 OR ((triple4 triple2) -> rule1))] The dog is young.[(triple6)] The dog needs the squirrel.[(triple7)] The dog sees the squirrel.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is kind.[(triple13 OR ((triple12 triple10) -> rule1))] The squirrel is young.[(triple14)] The squirrel needs the dog.[(triple15)] The squirrel sees the dog.[(triple16 OR ((triple8 triple2) -> rule3))] @1: The dog needs the dog.[(((triple1 triple15) -> rule2))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
((triple4 triple2) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is young.
("dog" "is" "young" "+")
triple6
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple7
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple8
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
((triple12 triple10) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
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
((triple8 triple2) -> (rule3 % int1))
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple1 triple15) -> (rule2 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1