The bear does not eat the dog. The bear is green. The bear visits the tiger. The dog chases the squirrel. The dog eats the squirrel. The dog is young. The dog visits the squirrel. The squirrel chases the tiger. The squirrel eats the bear. The tiger does not chase the dog. The tiger does not eat the squirrel. The tiger visits the squirrel. If someone eats the tiger then the tiger visits the dog. If someone eats the squirrel and they chase the squirrel then they are not nice. If someone visits the dog then they eat the tiger. If someone is young then they chase the squirrel. If someone eats the bear then the bear visits the dog. If someone eats the tiger then they are cold. If someone eats the tiger and the tiger does not visit the bear then the bear eats the tiger.
The bear does not eat the dog.
("bear" "eats" "dog" "-")
The bear is green.
("bear" "is" "green" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone eats the tiger then the tiger visits the dog.
((("someone" "eats" "tiger" "+")) -> ("tiger" "visits" "dog" "+"))
If someone eats the squirrel and they chase the squirrel then they are not nice.
((("someone" "eats" "squirrel" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "is" "nice" "-"))
If someone visits the dog then they eat the tiger.
((("someone" "visits" "dog" "+")) -> ("someone" "eats" "tiger" "+"))
If someone is young then they chase the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone eats the bear then the bear visits the dog.
((("someone" "eats" "bear" "+")) -> ("bear" "visits" "dog" "+"))
If someone eats the tiger then they are cold.
((("someone" "eats" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If someone eats the tiger and the tiger does not visit the bear then the bear eats the tiger.
((("someone" "eats" "tiger" "+") ("tiger" "visits" "bear" "~")) -> ("bear" "eats" "tiger" "+"))
The tiger does not chase the dog.
True
1
proof
[(triple10)]
("tiger" "chases" "dog" "-")
triple10
The bear is not green.
False
1
inv-proof
[(triple2)]
("bear" "is" "green" "-")
triple2
The bear visits the dog.
True
2
proof
[(((triple9) -> rule5))]
("bear" "visits" "dog" "+")
((triple9) -> (rule5 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The dog is nice.
False
3
inv-proof
[(((triple5 triple4) -> rule2) OR ((triple5 ((triple6) -> rule4)) -> rule2))]
("dog" "is" "nice" "+")
((triple5 triple4) -> (rule2 % int1))
The dog is not nice.
("dog" "is" "nice" "-")
int1
((triple5 ((triple6) -> (rule4 % int2))) -> (rule2 % int1))
The dog is not nice.
("dog" "is" "nice" "-")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int2
The bear eats the tiger.
True
3
proof
[(((((triple9) -> rule5)) -> rule3))]
("bear" "eats" "tiger" "+")
((((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The bear does not eat the tiger.
False
3
inv-proof
[(((((triple9) -> rule5)) -> rule3))]
("bear" "eats" "tiger" "-")
((((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The bear is cold.
True
4
proof
[(((((((triple9) -> rule5)) -> rule3)) -> rule6))]
("bear" "is" "cold" "+")
((((((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
int3
The tiger does not visit the dog.
False
4
inv-proof
[(((((((triple9) -> rule5)) -> rule3)) -> rule1))]
("tiger" "visits" "dog" "-")
((((((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
int3
The tiger eats the tiger.
True
5
proof
[(((((((((triple9) -> rule5)) -> rule3)) -> rule1)) -> rule3))]
("tiger" "eats" "tiger" "+")
((((((((triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int3
The bear visits the dog.
("bear" "visits" "dog" "+")
int4
The tiger does not eat the tiger.
False
5
inv-proof
[(((((((((triple9) -> rule5)) -> rule3)) -> rule1)) -> rule3))]
("tiger" "eats" "tiger" "-")
((((((((triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int3
The bear visits the dog.
("bear" "visits" "dog" "+")
int4
The tiger is cold.
True
6
proof
[(((((((((((triple9) -> rule5)) -> rule3)) -> rule1)) -> rule3)) -> rule6))]
("tiger" "is" "cold" "+")
((((((((((triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int4
The bear visits the dog.
("bear" "visits" "dog" "+")
int5
The tiger is not cold.
False
6
inv-proof
[(((((((((((triple9) -> rule5)) -> rule3)) -> rule1)) -> rule3)) -> rule6))]
("tiger" "is" "cold" "-")
((((((((((triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int4
The bear visits the dog.
("bear" "visits" "dog" "+")
int5
The dog does not eat the tiger.
Unknown
inv-rconc
[@1: The dog eats the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "eats" "tiger" "-")
The dog is cold.
Unknown
rconc
[@2: The dog is cold.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("dog" "is" "cold" "+")
The tiger does not chase the squirrel.
Unknown
inv-rconc
[@1: The tiger chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "chases" "squirrel" "-")
The squirrel is cold.
Unknown
rconc
[@2: The squirrel is cold.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("squirrel" "is" "cold" "+")
The squirrel does not eat the tiger.
Unknown
inv-rconc
[@1: The squirrel eats the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "tiger" "-")
The squirrel chases the squirrel.
Unknown
rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "chases" "squirrel" "+")
The squirrel does not visit the tiger.
Unknown
inv-random
[@0: The squirrel visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "tiger" "-")
The dog chases the bear.
Unknown
random
[@0: The dog chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bear" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The bear does not eat the dog.[(triple1)] The bear is green.[(triple2)] The bear visits the tiger.[(triple3)] The dog chases the squirrel.[(triple4 OR ((triple6) -> rule4))] The dog eats the squirrel.[(triple5)] The dog is young.[(triple6)] The dog visits the squirrel.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel eats the bear.[(triple9)] The tiger does not chase the dog.[(triple10)] The tiger does not eat the squirrel.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The bear visits the dog.[(((triple9) -> rule5))] The dog is not nice.[(((triple5 triple4) -> rule2) OR ((triple5 ((triple6) -> rule4)) -> rule2))] @2: The bear eats the tiger.[(((((triple9) -> rule5)) -> rule3))] @3: The bear is cold.[(((((((triple9) -> rule5)) -> rule3)) -> rule6))] The tiger visits the dog.[(((((((triple9) -> rule5)) -> rule3)) -> rule1))] @4: The tiger eats the tiger.[(((((((((triple9) -> rule5)) -> rule3)) -> rule1)) -> rule3))] @5: The tiger is cold.[(((((((((((triple9) -> rule5)) -> rule3)) -> rule1)) -> rule3)) -> rule6))]
The bear does not eat the dog.
("bear" "eats" "dog" "-")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple3
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple4
((triple6) -> (rule4 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple7
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple8
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple9
The tiger does not chase the dog.
("tiger" "chases" "dog" "-")
triple10
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
triple11
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple12
The bear visits the dog.
("bear" "visits" "dog" "+")
((triple9) -> (rule5 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The dog is not nice.
("dog" "is" "nice" "-")
((triple5 triple4) -> (rule2 % int1))
The dog is not nice.
("dog" "is" "nice" "-")
int1
((triple5 ((triple6) -> (rule4 % int2))) -> (rule2 % int1))
The dog is not nice.
("dog" "is" "nice" "-")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
((((triple9) -> (rule5 % int2))) -> (rule3 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
((((((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
int3
The tiger visits the dog.
("tiger" "visits" "dog" "+")
((((((triple9) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((((((((triple9) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int3
The bear visits the dog.
("bear" "visits" "dog" "+")
int4
The tiger is cold.
("tiger" "is" "cold" "+")
((((((((((triple9) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int4
The bear visits the dog.
("bear" "visits" "dog" "+")
int5