The dog eats the squirrel. The dog is kind. The dog is nice. The dog is red. The dog is round. The dog needs the squirrel. The dog visits the squirrel. The squirrel eats the dog. The squirrel is big. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is round. The squirrel needs the dog. The squirrel visits the dog. If someone eats the squirrel then the squirrel visits the dog. If someone visits the squirrel then they visit the dog. If someone is big then they eat the squirrel. If someone visits the squirrel then the squirrel eats the dog. If someone visits the squirrel and they need the dog then they eat the squirrel. If someone needs the squirrel then they eat the dog. If someone eats the squirrel then they eat the dog. If someone is kind and they visit the dog then the dog eats the squirrel.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone eats the squirrel then the squirrel visits the dog.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "visits" "dog" "+"))
If someone visits the squirrel then they visit the dog.
((("someone" "visits" "squirrel" "+")) -> ("someone" "visits" "dog" "+"))
If someone is big then they eat the squirrel.
((("someone" "is" "big" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone visits the squirrel then the squirrel eats the dog.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "eats" "dog" "+"))
If someone visits the squirrel and they need the dog then they eat the squirrel.
((("someone" "visits" "squirrel" "+") ("someone" "needs" "dog" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone needs the squirrel then they eat the dog.
((("someone" "needs" "squirrel" "+")) -> ("someone" "eats" "dog" "+"))
If someone eats the squirrel then they eat the dog.
((("someone" "eats" "squirrel" "+")) -> ("someone" "eats" "dog" "+"))
If someone is kind and they visit the dog then the dog eats the squirrel.
((("someone" "is" "kind" "+") ("someone" "visits" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
The dog is nice.
True
1
proof
[(triple3)]
("dog" "is" "nice" "+")
triple3
The dog does not eat the squirrel.
False
1
inv-proof
[(triple1 OR ((triple10 triple15) -> rule8) OR ((triple2 ((triple7) -> rule2)) -> rule8) OR ((triple10 ((((triple9) -> rule3)) -> rule1)) -> rule8))]
("dog" "eats" "squirrel" "-")
triple1
((triple10 triple15) -> (rule8 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
((triple2 ((triple7) -> (rule2 % int2))) -> (rule8 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
((triple10 ((((triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The dog eats the squirrel.[(triple1 OR ((triple10 triple15) -> rule8) OR ((triple2 ((triple7) -> rule2)) -> rule8) OR ((triple10 ((((triple9) -> rule3)) -> rule1)) -> rule8))] The dog is kind.[(triple2)] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog is round.[(triple5)] The dog needs the squirrel.[(triple6)] The dog visits the squirrel.[(triple7)] The squirrel eats the dog.[(triple8 OR ((triple7) -> rule4) OR ((((triple9) -> rule3)) -> rule7))] The squirrel is big.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is red.[(triple12)] The squirrel is round.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel visits the dog.[(triple15 OR ((triple1) -> rule1) OR ((((triple9) -> rule3)) -> rule1) OR ((((triple2 ((triple7) -> rule2)) -> rule8)) -> rule1))] @1: The dog eats the dog.[(((triple1) -> rule7) OR ((triple6) -> rule6) OR ((((triple10 triple15) -> rule8)) -> rule7) OR ((((triple2 ((triple7) -> rule2)) -> rule8)) -> rule7) OR ((((triple10 ((((triple9) -> rule3)) -> rule1)) -> rule8)) -> rule7))] The dog visits the dog.[(((triple7) -> rule2))] The squirrel eats the squirrel.[(((triple9) -> rule3))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
((triple10 triple15) -> (rule8 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
((triple2 ((triple7) -> (rule2 % int2))) -> (rule8 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
((triple10 ((((triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
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 round.
("dog" "is" "round" "+")
triple5
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple6
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple7
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple8
((triple7) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple14
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15
((triple1) -> (rule1 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
((((triple2 ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple1) -> (rule7 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
((triple6) -> (rule6 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
((((triple10 triple15) -> (rule8 % int2))) -> (rule7 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
((((triple2 ((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
((((triple10 ((((triple9) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple7) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple9) -> (rule3 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1