The dog eats the squirrel. The dog eats the tiger. The dog needs the squirrel. The dog visits the squirrel. The squirrel does not eat the dog. The squirrel eats the tiger. The squirrel is nice. The squirrel is young. The squirrel visits the tiger. The tiger is kind. The tiger is not nice. The tiger is red. The tiger is young. The tiger needs the squirrel. The tiger visits the dog. The tiger visits the squirrel. If something eats the tiger then the tiger is kind. If the tiger eats the squirrel then the tiger is kind. If something is young then it does not eat the dog. If something needs the squirrel and the squirrel does not eat the tiger then the squirrel visits the tiger. If something visits the dog and the dog eats the tiger then the tiger visits the squirrel. If something eats the dog then it does not need the tiger. If the tiger is red then the tiger visits the dog. If something eats the dog then the dog eats the tiger.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is not nice.
("tiger" "is" "nice" "-")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something eats the tiger then the tiger is kind.
((("something" "eats" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If the tiger eats the squirrel then the tiger is kind.
((("tiger" "eats" "squirrel" "+")) -> ("tiger" "is" "kind" "+"))
If something is young then it does not eat the dog.
((("something" "is" "young" "+")) -> ("something" "eats" "dog" "-"))
If something needs the squirrel and the squirrel does not eat the tiger then the squirrel visits the tiger.
((("something" "needs" "squirrel" "+") ("squirrel" "eats" "tiger" "~")) -> ("squirrel" "visits" "tiger" "+"))
If something visits the dog and the dog eats the tiger then the tiger visits the squirrel.
((("something" "visits" "dog" "+") ("dog" "eats" "tiger" "+")) -> ("tiger" "visits" "squirrel" "+"))
If something eats the dog then it does not need the tiger.
((("something" "eats" "dog" "+")) -> ("something" "needs" "tiger" "-"))
If the tiger is red then the tiger visits the dog.
((("tiger" "is" "red" "+")) -> ("tiger" "visits" "dog" "+"))
If something eats the dog then the dog eats the tiger.
((("something" "eats" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
The dog visits the squirrel.
True
1
proof
[(triple4)]
("dog" "visits" "squirrel" "+")
triple4
The dog does not eat the tiger.
False
1
inv-proof
[(triple2)]
("dog" "eats" "tiger" "-")
triple2
The tiger does not eat the dog.
True
2
proof
[(((triple13) -> rule3))]
("tiger" "eats" "dog" "-")
((triple13) -> (rule3 % int1))
The tiger does not eat the dog.
("tiger" "eats" "dog" "-")
int1
The tiger eats the dog.
False
2
inv-proof
[(((triple13) -> rule3))]
("tiger" "eats" "dog" "+")
((triple13) -> (rule3 % int1))
The tiger does not eat the dog.
("tiger" "eats" "dog" "-")
int1
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
The tiger does not need the dog.
Unknown
inv-random
[@0: The tiger needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "dog" "-")
The squirrel visits the dog.
Unknown
random
[@0: The squirrel visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "dog" "+")
@0: The dog eats the squirrel.[(triple1)] The dog eats the tiger.[(triple2)] The dog needs the squirrel.[(triple3)] The dog visits the squirrel.[(triple4)] The squirrel does not eat the dog.[(triple5 OR ((triple8) -> rule3))] The squirrel eats the tiger.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is young.[(triple8)] The squirrel visits the tiger.[(triple9)] The tiger is kind.[(triple10 OR ((triple2) -> rule1) OR ((triple6) -> rule1))] The tiger is not nice.[(triple11)] The tiger is red.[(triple12)] The tiger is young.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger visits the dog.[(triple15 OR ((triple12) -> rule7))] The tiger visits the squirrel.[(triple16 OR ((triple15 triple2) -> rule5) OR ((((triple12) -> rule7) triple2) -> rule5))] @1: The tiger does not eat the dog.[(((triple13) -> rule3))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple3
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple4
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple5
((triple8) -> (rule3 % int1))
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
((triple2) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((triple6) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is not nice.
("tiger" "is" "nice" "-")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple14
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple15
((triple12) -> (rule7 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16
((triple15 triple2) -> (rule5 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
((((triple12) -> (rule7 % int2)) triple2) -> (rule5 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The tiger does not eat the dog.
("tiger" "eats" "dog" "-")
((triple13) -> (rule3 % int1))
The tiger does not eat the dog.
("tiger" "eats" "dog" "-")
int1