The cow chases the dog. The cow chases the tiger. The cow is young. The dog eats the cow. The dog eats the tiger. The dog is kind. The dog needs the cow. The squirrel is green. The squirrel is young. The squirrel needs the cow. The tiger chases the cow. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is green. The tiger needs the dog. The tiger needs the squirrel. If someone is kind then they chase the cow. If someone eats the dog and they need the cow then the cow needs the tiger. If someone is green and they eat the dog then they need the squirrel. If someone eats the tiger and they are green then they are round. If someone chases the cow then they eat the dog. If someone chases the cow and they chase the dog then they are green. If someone needs the tiger and the tiger chases the squirrel then the squirrel is kind. Round people are young.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is young.
("cow" "is" "young" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone is kind then they chase the cow.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "cow" "+"))
If someone eats the dog and they need the cow then the cow needs the tiger.
((("someone" "eats" "dog" "+") ("someone" "needs" "cow" "+")) -> ("cow" "needs" "tiger" "+"))
If someone is green and they eat the dog then they need the squirrel.
((("someone" "is" "green" "+") ("someone" "eats" "dog" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone eats the tiger and they are green then they are round.
((("someone" "eats" "tiger" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone chases the cow then they eat the dog.
((("someone" "chases" "cow" "+")) -> ("someone" "eats" "dog" "+"))
If someone chases the cow and they chase the dog then they are green.
((("someone" "chases" "cow" "+") ("someone" "chases" "dog" "+")) -> ("someone" "is" "green" "+"))
If someone needs the tiger and the tiger chases the squirrel then the squirrel is kind.
((("someone" "needs" "tiger" "+") ("tiger" "chases" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
The tiger chases the cow.
True
1
proof
[(triple11)]
("tiger" "chases" "cow" "+")
triple11
The dog does not eat the cow.
False
1
inv-proof
[(triple4)]
("dog" "eats" "cow" "-")
triple4
The tiger eats the dog.
True
2
proof
[(((triple11) -> rule5))]
("tiger" "eats" "dog" "+")
((triple11) -> (rule5 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The dog does not chase the cow.
False
2
inv-proof
[(((triple6) -> rule1))]
("dog" "chases" "cow" "-")
((triple6) -> (rule1 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog eats the dog.
True
3
proof
[(((((triple6) -> rule1)) -> rule5))]
("dog" "eats" "dog" "+")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The dog does not eat the dog.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule5))]
("dog" "eats" "dog" "-")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The cow needs the tiger.
True
5
proof
[(((((((triple6) -> rule1)) -> rule5) triple7) -> rule2))]
("cow" "needs" "tiger" "+")
((((((triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The cow does not need the tiger.
False
5
inv-proof
[(((((((triple6) -> rule1)) -> rule5) triple7) -> rule2))]
("cow" "needs" "tiger" "-")
((((((triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The squirrel is kind.
True
7
proof
[(((((((((triple6) -> rule1)) -> rule5) triple7) -> rule2) triple12) -> rule7))]
("squirrel" "is" "kind" "+")
((((((((triple6) -> (rule1 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2)) triple12) -> (rule7 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
int3
The dog chases the cow.
("dog" "chases" "cow" "+")
int4
The squirrel is not kind.
False
7
inv-proof
[(((((((((triple6) -> rule1)) -> rule5) triple7) -> rule2) triple12) -> rule7))]
("squirrel" "is" "kind" "-")
((((((((triple6) -> (rule1 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2)) triple12) -> (rule7 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
int3
The dog chases the cow.
("dog" "chases" "cow" "+")
int4
The squirrel chases the cow.
True
8
proof
[(((((((((((triple6) -> rule1)) -> rule5) triple7) -> rule2) triple12) -> rule7)) -> rule1))]
("squirrel" "chases" "cow" "+")
((((((((((triple6) -> (rule1 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int3)) triple12) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int3
The dog eats the dog.
("dog" "eats" "dog" "+")
int4
The dog chases the cow.
("dog" "chases" "cow" "+")
int5
The squirrel does not chase the cow.
False
8
inv-proof
[(((((((((((triple6) -> rule1)) -> rule5) triple7) -> rule2) triple12) -> rule7)) -> rule1))]
("squirrel" "chases" "cow" "-")
((((((((((triple6) -> (rule1 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int3)) triple12) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int3
The dog eats the dog.
("dog" "eats" "dog" "+")
int4
The dog chases the cow.
("dog" "chases" "cow" "+")
int5
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "green" "-")
The cow needs the squirrel.
Unknown
rconc
[@3: The cow needs the squirrel.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule1 <- FAIL)]]
("cow" "needs" "squirrel" "+")
The dog is not young.
Unknown
inv-rconc
[@3: The dog is young.[CWA. Example of deepest failure = (rule8 <- rule4 <- rule6 <- FAIL)]]
("dog" "is" "young" "-")
The dog is round.
Unknown
rconc
[@2: The dog is round.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("dog" "is" "round" "+")
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "cow" "-")
The tiger is young.
Unknown
rconc
[@2: The tiger is young.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("tiger" "is" "young" "+")
The squirrel does not chase the dog.
Unknown
inv-random
[@0: The squirrel chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "dog" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
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 squirrel needs the tiger.
Unknown
random
[@0: The squirrel needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "tiger" "+")
The squirrel does not chase the tiger.
Unknown
inv-random
[@0: The squirrel chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "tiger" "-")
The dog eats the squirrel.
Unknown
random
[@0: The dog eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "squirrel" "+")
@0: The cow chases the dog.[(triple1)] The cow chases the tiger.[(triple2)] The cow is young.[(triple3)] The dog eats the cow.[(triple4)] The dog eats the tiger.[(triple5)] The dog is kind.[(triple6)] The dog needs the cow.[(triple7)] The squirrel is green.[(triple8)] The squirrel is young.[(triple9)] The squirrel needs the cow.[(triple10)] The tiger chases the cow.[(triple11)] The tiger chases the squirrel.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger is green.[(triple14)] The tiger needs the dog.[(triple15)] The tiger needs the squirrel.[(triple16 OR ((triple14 ((triple11) -> rule5)) -> rule3))] @1: The dog chases the cow.[(((triple6) -> rule1))] The tiger eats the dog.[(((triple11) -> rule5))] @2: The dog eats the dog.[(((((triple6) -> rule1)) -> rule5))] @3: The cow needs the tiger.[(((((((triple6) -> rule1)) -> rule5) triple7) -> rule2))] @4: The squirrel is kind.[(((((((((triple6) -> rule1)) -> rule5) triple7) -> rule2) triple12) -> rule7))] @5: The squirrel chases the cow.[(((((((((((triple6) -> rule1)) -> rule5) triple7) -> rule2) triple12) -> rule7)) -> rule1))] @6: The squirrel eats the dog.[(((((((((((((triple6) -> rule1)) -> rule5) triple7) -> rule2) triple12) -> rule7)) -> rule1)) -> rule5))] @7: The squirrel needs the squirrel.[(((triple8 ((((((((((((triple6) -> rule1)) -> rule5) triple7) -> rule2) triple12) -> rule7)) -> rule1)) -> rule5)) -> rule3))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The dog eats the cow.
("dog" "eats" "cow" "+")
triple4
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog needs the cow.
("dog" "needs" "cow" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
triple8
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple10
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple11
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple12
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple13
The tiger is green.
("tiger" "is" "green" "+")
triple14
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple15
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple16
((triple14 ((triple11) -> (rule5 % int2))) -> (rule3 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
((triple6) -> (rule1 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
((triple11) -> (rule5 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The cow needs the tiger.
("cow" "needs" "tiger" "+")
((((((triple6) -> (rule1 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((((((triple6) -> (rule1 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2)) triple12) -> (rule7 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
int3
The dog chases the cow.
("dog" "chases" "cow" "+")
int4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((((((((((triple6) -> (rule1 % int5))) -> (rule5 % int4)) triple7) -> (rule2 % int3)) triple12) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int3
The dog eats the dog.
("dog" "eats" "dog" "+")
int4
The dog chases the cow.
("dog" "chases" "cow" "+")
int5
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
((((((((((((triple6) -> (rule1 % int6))) -> (rule5 % int5)) triple7) -> (rule2 % int4)) triple12) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int4
The dog eats the dog.
("dog" "eats" "dog" "+")
int5
The dog chases the cow.
("dog" "chases" "cow" "+")
int6
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple8 ((((((((((((triple6) -> (rule1 % int7))) -> (rule5 % int6)) triple7) -> (rule2 % int5)) triple12) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int5
The dog eats the dog.
("dog" "eats" "dog" "+")
int6
The dog chases the cow.
("dog" "chases" "cow" "+")
int7