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