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