The bald eagle needs the squirrel. The cow chases the bald eagle. The cow is kind. The dog is red. The dog needs the bald eagle. The dog needs the squirrel. The dog visits the bald eagle. The squirrel chases the bald eagle. The squirrel chases the cow. The squirrel chases the dog. The squirrel is big. The squirrel is kind. The squirrel is round. The squirrel needs the bald eagle. The squirrel visits the bald eagle. If something visits the dog and the dog needs the cow then the dog needs the squirrel. If something visits the bald eagle and the bald eagle is round then it needs the cow. If the dog needs the bald eagle and the dog chases the bald eagle then the dog is big. If something is big and it visits the bald eagle then the bald eagle is round. If something is big and it chases the squirrel then the squirrel is blue. If the dog needs the bald eagle then the dog is kind. If something needs the squirrel and it needs the cow then it is blue. If something is red and kind then it chases the squirrel.
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is kind.
("cow" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something visits the dog and the dog needs the cow then the dog needs the squirrel.
((("something" "visits" "dog" "+") ("dog" "needs" "cow" "+")) -> ("dog" "needs" "squirrel" "+"))
If something visits the bald eagle and the bald eagle is round then it needs the cow.
((("something" "visits" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("something" "needs" "cow" "+"))
If the dog needs the bald eagle and the dog chases the bald eagle then the dog is big.
((("dog" "needs" "bald eagle" "+") ("dog" "chases" "bald eagle" "+")) -> ("dog" "is" "big" "+"))
If something is big and it visits the bald eagle then the bald eagle is round.
((("something" "is" "big" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If something is big and it chases the squirrel then the squirrel is blue.
((("something" "is" "big" "+") ("something" "chases" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If the dog needs the bald eagle then the dog is kind.
((("dog" "needs" "bald eagle" "+")) -> ("dog" "is" "kind" "+"))
If something needs the squirrel and it needs the cow then it is blue.
((("something" "needs" "squirrel" "+") ("something" "needs" "cow" "+")) -> ("something" "is" "blue" "+"))
If something is red and kind then it chases the squirrel.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "chases" "squirrel" "+"))
The dog is red.
True
1
proof
[(triple4)]
("dog" "is" "red" "+")
triple4
The dog does not need the bald eagle.
False
1
inv-proof
[(triple5)]
("dog" "needs" "bald eagle" "-")
triple5
The dog is kind.
True
2
proof
[(((triple5) -> rule6))]
("dog" "is" "kind" "+")
((triple5) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The bald eagle is not round.
False
3
inv-proof
[(((triple11 triple15) -> rule4))]
("bald eagle" "is" "round" "-")
((triple11 triple15) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The dog needs the cow.
True
5
proof
[(((triple7 ((triple11 triple15) -> rule4)) -> rule2))]
("dog" "needs" "cow" "+")
((triple7 ((triple11 triple15) -> (rule4 % int2))) -> (rule2 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The dog does not need the cow.
False
5
inv-proof
[(((triple7 ((triple11 triple15) -> rule4)) -> rule2))]
("dog" "needs" "cow" "-")
((triple7 ((triple11 triple15) -> (rule4 % int2))) -> (rule2 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The dog is blue.
True
7
proof
[(((triple6 ((triple7 ((triple11 triple15) -> rule4)) -> rule2)) -> rule7))]
("dog" "is" "blue" "+")
((triple6 ((triple7 ((triple11 triple15) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The dog is not blue.
False
7
inv-proof
[(((triple6 ((triple7 ((triple11 triple15) -> rule4)) -> rule2)) -> rule7))]
("dog" "is" "blue" "-")
((triple6 ((triple7 ((triple11 triple15) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "big" "-")
The cow needs the cow.
Unknown
rconc
[@1: The cow needs the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "cow" "+")
The bald eagle does not chase the squirrel.
Unknown
inv-rconc
[@1: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The cow chases the squirrel.
Unknown
rconc
[@1: The cow chases the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "chases" "squirrel" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The bald eagle chases the cow.
Unknown
random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "+")
The squirrel does not visit the dog.
Unknown
inv-random
[@0: The squirrel visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "dog" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle needs the squirrel.[(triple1)] The cow chases the bald eagle.[(triple2)] The cow is kind.[(triple3)] The dog is red.[(triple4)] The dog needs the bald eagle.[(triple5)] The dog needs the squirrel.[(triple6)] The dog visits the bald eagle.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel chases the cow.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel is big.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is round.[(triple13)] The squirrel needs the bald eagle.[(triple14)] The squirrel visits the bald eagle.[(triple15)] @1: The bald eagle is round.[(((triple11 triple15) -> rule4))] The dog is kind.[(((triple5) -> rule6))] @2: The dog chases the squirrel.[(((triple4 ((triple5) -> rule6)) -> rule8))] The dog needs the cow.[(((triple7 ((triple11 triple15) -> rule4)) -> rule2))] The squirrel needs the cow.[(((triple15 ((triple11 triple15) -> rule4)) -> rule2))] @3: The dog is blue.[(((triple6 ((triple7 ((triple11 triple15) -> rule4)) -> rule2)) -> rule7))]
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple5
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple6
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple7
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple8
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple9
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple14
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple15
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple11 triple15) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
((triple5) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((triple4 ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog needs the cow.
("dog" "needs" "cow" "+")
((triple7 ((triple11 triple15) -> (rule4 % int2))) -> (rule2 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
((triple15 ((triple11 triple15) -> (rule4 % int2))) -> (rule2 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The dog is blue.
("dog" "is" "blue" "+")
((triple6 ((triple7 ((triple11 triple15) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3