The dog eats the squirrel. The dog is cold. The dog is not kind. The dog is nice. The dog is red. The dog is not rough. The dog likes the squirrel. The dog visits the squirrel. The squirrel eats the dog. The squirrel is cold. The squirrel is not kind. The squirrel is nice. The squirrel is rough. The squirrel likes the dog. The squirrel visits the dog. If something likes the squirrel then the squirrel likes the dog. If the dog likes the squirrel then the squirrel eats the dog. If the squirrel is cold then the squirrel is rough.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is not rough.
("dog" "is" "rough" "-")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something likes the squirrel then the squirrel likes the dog.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "likes" "dog" "+"))
If the dog likes the squirrel then the squirrel eats the dog.
((("dog" "likes" "squirrel" "+")) -> ("squirrel" "eats" "dog" "+"))
If the squirrel is cold then the squirrel is rough.
((("squirrel" "is" "cold" "+")) -> ("squirrel" "is" "rough" "+"))
The dog eats the squirrel.
True
1
proof
[(triple1)]
("dog" "eats" "squirrel" "+")
triple1
The dog is not cold.
False
1
inv-proof
[(triple2)]
("dog" "is" "cold" "-")
triple2
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The dog eats the squirrel.[(triple1)] The dog is cold.[(triple2)] The dog is nice.[(triple4)] The dog is not kind.[(triple3)] The dog is not rough.[(triple6)] The dog is red.[(triple5)] The dog likes the squirrel.[(triple7)] The dog visits the squirrel.[(triple8)] The squirrel eats the dog.[(triple9 OR ((triple7) -> rule2))] The squirrel is cold.[(triple10)] The squirrel is nice.[(triple12)] The squirrel is not kind.[(triple11)] The squirrel is rough.[(triple13 OR ((triple10) -> rule3))] The squirrel likes the dog.[(triple14 OR ((triple7) -> rule1))] The squirrel visits the dog.[(triple15)]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is not kind.
("dog" "is" "kind" "-")
triple3
The dog is not rough.
("dog" "is" "rough" "-")
triple6
The dog is red.
("dog" "is" "red" "+")
triple5
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple7
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple8
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple9
((triple7) -> (rule2 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
((triple10) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple14
((triple7) -> (rule1 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15