The cow chases the dog. The cow chases the rabbit. The cow eats the dog. The cow is big. The cow is kind. The cow needs the dog. The cow needs the rabbit. The dog chases the cow. The dog eats the cow. The dog eats the rabbit. The dog is big. The dog needs the cow. The dog needs the rabbit. The rabbit chases the cow. The rabbit chases the dog. The rabbit is round. If someone is round then they chase the dog. If someone eats the cow and the cow needs the dog then the dog is red. If someone is blue then they need the dog. If someone chases the cow and they chase the dog then the cow chases the dog. If someone is big then they are blue. If someone chases the cow then they eat the cow. If someone is red and kind then they need the cow. If someone eats the cow and the cow is big then the cow chases the rabbit.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If someone is round then they chase the dog.
((("someone" "is" "round" "+")) -> ("someone" "chases" "dog" "+"))
If someone eats the cow and the cow needs the dog then the dog is red.
((("someone" "eats" "cow" "+") ("cow" "needs" "dog" "+")) -> ("dog" "is" "red" "+"))
If someone is blue then they need the dog.
((("someone" "is" "blue" "+")) -> ("someone" "needs" "dog" "+"))
If someone chases the cow and they chase the dog then the cow chases the dog.
((("someone" "chases" "cow" "+") ("someone" "chases" "dog" "+")) -> ("cow" "chases" "dog" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the cow then they eat the cow.
((("someone" "chases" "cow" "+")) -> ("someone" "eats" "cow" "+"))
If someone is red and kind then they need the cow.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "needs" "cow" "+"))
If someone eats the cow and the cow is big then the cow chases the rabbit.
((("someone" "eats" "cow" "+") ("cow" "is" "big" "+")) -> ("cow" "chases" "rabbit" "+"))
The cow needs the rabbit.
True
1
proof
[(triple7)]
("cow" "needs" "rabbit" "+")
triple7
The dog does not chase the cow.
False
1
inv-proof
[(triple8)]
("dog" "chases" "cow" "-")
triple8
The dog is blue.
True
2
proof
[(((triple11) -> rule5))]
("dog" "is" "blue" "+")
((triple11) -> (rule5 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is not blue.
False
2
inv-proof
[(((triple11) -> rule5))]
("dog" "is" "blue" "-")
((triple11) -> (rule5 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog needs the dog.
True
3
proof
[(((((triple11) -> rule5)) -> rule3))]
("dog" "needs" "dog" "+")
((((triple11) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog does not need the dog.
False
3
inv-proof
[(((((triple11) -> rule5)) -> rule3))]
("dog" "needs" "dog" "-")
((((triple11) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The rabbit does not need the dog.
Unknown
inv-rconc
[@2: The rabbit needs the dog.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("rabbit" "needs" "dog" "-")
The cow needs the cow.
Unknown
rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "needs" "cow" "+")
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The dog does not chase the rabbit.
Unknown
inv-random
[@0: The dog chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "rabbit" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The cow chases the dog.[(triple1 OR ((triple14 triple15) -> rule4) OR ((triple14 ((triple16) -> rule1)) -> rule4))] The cow chases the rabbit.[(triple2 OR ((triple9 triple4) -> rule8) OR ((((triple14) -> rule6) triple4) -> rule8) OR ((((triple8) -> rule6) triple4) -> rule8))] The cow eats the dog.[(triple3)] The cow is big.[(triple4)] The cow is kind.[(triple5)] The cow needs the dog.[(triple6 OR ((((triple4) -> rule5)) -> rule3))] The cow needs the rabbit.[(triple7)] The dog chases the cow.[(triple8)] The dog eats the cow.[(triple9 OR ((triple8) -> rule6))] The dog eats the rabbit.[(triple10)] The dog is big.[(triple11)] The dog needs the cow.[(triple12)] The dog needs the rabbit.[(triple13)] The rabbit chases the cow.[(triple14)] The rabbit chases the dog.[(triple15 OR ((triple16) -> rule1))] The rabbit is round.[(triple16)] @1: The cow is blue.[(((triple4) -> rule5))] The dog is blue.[(((triple11) -> rule5))] The dog is red.[(((triple9 triple6) -> rule2) OR ((((triple14) -> rule6) triple6) -> rule2) OR ((((triple8) -> rule6) triple6) -> rule2) OR ((triple9 ((((triple4) -> rule5)) -> rule3)) -> rule2) OR ((((triple14) -> rule6) ((((triple4) -> rule5)) -> rule3)) -> rule2) OR ((((triple8) -> rule6) ((((triple4) -> rule5)) -> rule3)) -> rule2))] The rabbit eats the cow.[(((triple14) -> rule6))] @2: The dog needs the dog.[(((((triple11) -> rule5)) -> rule3))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
((triple14 triple15) -> (rule4 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
((triple14 ((triple16) -> (rule1 % int2))) -> (rule4 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int2
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple2
((triple9 triple4) -> (rule8 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
((((triple14) -> (rule6 % int2)) triple4) -> (rule8 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int2
((((triple8) -> (rule6 % int2)) triple4) -> (rule8 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The dog eats the cow.
("dog" "eats" "cow" "+")
int2
The cow eats the dog.
("cow" "eats" "dog" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple5
The cow needs the dog.
("cow" "needs" "dog" "+")
triple6
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple7
The dog chases the cow.
("dog" "chases" "cow" "+")
triple8
The dog eats the cow.
("dog" "eats" "cow" "+")
triple9
((triple8) -> (rule6 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple10
The dog is big.
("dog" "is" "big" "+")
triple11
The dog needs the cow.
("dog" "needs" "cow" "+")
triple12
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple13
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple14
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple15
((triple16) -> (rule1 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
triple16
The cow is blue.
("cow" "is" "blue" "+")
((triple4) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
((triple11) -> (rule5 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((triple9 triple6) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((((triple14) -> (rule6 % int2)) triple6) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int2
((((triple8) -> (rule6 % int2)) triple6) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog eats the cow.
("dog" "eats" "cow" "+")
int2
((triple9 ((((triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
((((triple14) -> (rule6 % int4)) ((((triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int4
((((triple8) -> (rule6 % int4)) ((((triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The dog eats the cow.
("dog" "eats" "cow" "+")
int4
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
((triple14) -> (rule6 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((((triple11) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2