The dog is cold. The dog is kind. The dog is red. The dog is round. The dog likes the squirrel. The dog needs the squirrel. The dog sees the squirrel. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel likes the dog. The squirrel needs the dog. The squirrel sees the dog. If something likes the dog and it is round then it needs the dog. If something is cold and it sees the squirrel then it likes the dog.
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something likes the dog and it is round then it needs the dog.
((("something" "likes" "dog" "+") ("something" "is" "round" "+")) -> ("something" "needs" "dog" "+"))
If something is cold and it sees the squirrel then it likes the dog.
((("something" "is" "cold" "+") ("something" "sees" "squirrel" "+")) -> ("something" "likes" "dog" "+"))
The dog is kind.
True
1
proof
[(triple2)]
("dog" "is" "kind" "+")
triple2
The dog is not red.
False
1
inv-proof
[(triple3)]
("dog" "is" "red" "-")
triple3
The dog likes the dog.
True
3
proof
[(((triple1 triple7) -> rule2))]
("dog" "likes" "dog" "+")
((triple1 triple7) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog does not like the dog.
False
3
inv-proof
[(((triple1 triple7) -> rule2))]
("dog" "likes" "dog" "-")
((triple1 triple7) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog needs the dog.
True
5
proof
[(((((triple1 triple7) -> rule2) triple4) -> rule1))]
("dog" "needs" "dog" "+")
((((triple1 triple7) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
The dog does not need the dog.
False
5
inv-proof
[(((((triple1 triple7) -> rule2) triple4) -> rule1))]
("dog" "needs" "dog" "-")
((((triple1 triple7) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2
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 likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog is cold.[(triple1)] The dog is kind.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog likes the squirrel.[(triple5)] The dog needs the squirrel.[(triple6)] The dog sees the squirrel.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the dog.[(triple13)] The squirrel needs the dog.[(triple14 OR ((triple13 triple12) -> rule1))] The squirrel sees the dog.[(triple15)] @1: The dog likes the dog.[(((triple1 triple7) -> rule2))] @2: The dog needs the dog.[(((((triple1 triple7) -> rule2) triple4) -> rule1))]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple5
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple6
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple13
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple14
((triple13 triple12) -> (rule1 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple15
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple1 triple7) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((((triple1 triple7) -> (rule2 % int2)) triple4) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2