The dog chases the squirrel. The dog is not nice. The dog does not see the squirrel. The squirrel is young. The squirrel likes the tiger. The squirrel does not see the dog. The tiger chases the dog. The tiger chases the squirrel. The tiger is not big. The tiger is young. The tiger likes the squirrel. The tiger sees the squirrel. If someone chases the squirrel then the squirrel chases the tiger. If someone sees the dog and the dog chases the squirrel then they like the dog. If someone chases the tiger and they chase the squirrel then the tiger chases the squirrel. If the squirrel likes the dog and the squirrel chases the dog then the dog likes the squirrel. If someone likes the dog then the dog chases the tiger. If someone chases the tiger and the tiger chases the squirrel then the squirrel chases the dog.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone chases the squirrel then the squirrel chases the tiger.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "tiger" "+"))
If someone sees the dog and the dog chases the squirrel then they like the dog.
((("someone" "sees" "dog" "+") ("dog" "chases" "squirrel" "+")) -> ("someone" "likes" "dog" "+"))
If someone chases the tiger and they chase the squirrel then the tiger chases the squirrel.
((("someone" "chases" "tiger" "+") ("someone" "chases" "squirrel" "+")) -> ("tiger" "chases" "squirrel" "+"))
If the squirrel likes the dog and the squirrel chases the dog then the dog likes the squirrel.
((("squirrel" "likes" "dog" "+") ("squirrel" "chases" "dog" "+")) -> ("dog" "likes" "squirrel" "+"))
If someone likes the dog then the dog chases the tiger.
((("someone" "likes" "dog" "+")) -> ("dog" "chases" "tiger" "+"))
If someone chases the tiger and the tiger chases the squirrel then the squirrel chases the dog.
((("someone" "chases" "tiger" "+") ("tiger" "chases" "squirrel" "+")) -> ("squirrel" "chases" "dog" "+"))
The tiger is not big.
True
1
proof
[(triple9)]
("tiger" "is" "big" "-")
triple9
The tiger is not young.
False
1
inv-proof
[(triple10)]
("tiger" "is" "young" "-")
triple10
The squirrel chases the tiger.
True
2
proof
[(((triple1) -> rule1) OR ((triple8) -> rule1))]
("squirrel" "chases" "tiger" "+")
((triple1) -> (rule1 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
((triple8) -> (rule1 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel does not chase the tiger.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple8) -> rule1))]
("squirrel" "chases" "tiger" "-")
((triple1) -> (rule1 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
((triple8) -> (rule1 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel chases the dog.
True
4
proof
[(((((triple1) -> rule1) triple8) -> rule6) OR ((((triple8) -> rule1) triple8) -> rule6))]
("squirrel" "chases" "dog" "+")
((((triple1) -> (rule1 % int2)) triple8) -> (rule6 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
((((triple8) -> (rule1 % int2)) triple8) -> (rule6 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The squirrel does not chase the dog.
False
4
inv-proof
[(((((triple1) -> rule1) triple8) -> rule6) OR ((((triple8) -> rule1) triple8) -> rule6))]
("squirrel" "chases" "dog" "-")
((((triple1) -> (rule1 % int2)) triple8) -> (rule6 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
((((triple8) -> (rule1 % int2)) triple8) -> (rule6 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The dog does not like the squirrel.
Unknown
inv-rconc
[@2: The dog likes the squirrel.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("dog" "likes" "squirrel" "-")
The squirrel likes the dog.
Unknown
rconc
[@1: The squirrel likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "likes" "dog" "+")
The dog does not chase the tiger.
Unknown
inv-rconc
[@2: The dog chases the tiger.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("dog" "chases" "tiger" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The dog sees the tiger.
Unknown
random
[@0: The dog sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "tiger" "+")
@0: The dog chases the squirrel.[(triple1)] The dog does not see the squirrel.[(triple3)] The dog is not nice.[(triple2)] The squirrel does not see the dog.[(triple6)] The squirrel is young.[(triple4)] The squirrel likes the tiger.[(triple5)] The tiger chases the dog.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger is not big.[(triple9)] The tiger is young.[(triple10)] The tiger likes the squirrel.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The squirrel chases the tiger.[(((triple1) -> rule1) OR ((triple8) -> rule1))] @2: The squirrel chases the dog.[(((((triple1) -> rule1) triple8) -> rule6) OR ((((triple8) -> rule1) triple8) -> rule6))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
triple3
The dog is not nice.
("dog" "is" "nice" "-")
triple2
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple4
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple5
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple7
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple8
The tiger is not big.
("tiger" "is" "big" "-")
triple9
The tiger is young.
("tiger" "is" "young" "+")
triple10
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple11
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple12
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
((triple1) -> (rule1 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
((triple8) -> (rule1 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((((triple1) -> (rule1 % int2)) triple8) -> (rule6 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
((((triple8) -> (rule1 % int2)) triple8) -> (rule6 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2