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