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