The bald eagle needs the cat. The cat is cold. The cat needs the bald eagle. The cat sees the bald eagle. The cat sees the dog. The cow eats the cat. The cow is kind. The cow needs the cat. The cow needs the dog. The dog eats the bald eagle. The dog is green. The dog needs the bald eagle. If someone is kind and they need the cat then the cat is big. If someone is big then they need the dog. If someone sees the dog and they see the cat then they need the dog. If someone is big and they need the dog then the dog is red. If someone needs the cat and they do not see the dog then they eat the dog. If the bald eagle sees the cat then the cat needs the bald eagle. If someone eats the bald eagle then the bald eagle needs the dog. If someone needs the cat and they are not big then the cat is red.
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is green.
("dog" "is" "green" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
If someone is kind and they need the cat then the cat is big.
((("someone" "is" "kind" "+") ("someone" "needs" "cat" "+")) -> ("cat" "is" "big" "+"))
If someone is big then they need the dog.
((("someone" "is" "big" "+")) -> ("someone" "needs" "dog" "+"))
If someone sees the dog and they see the cat then they need the dog.
((("someone" "sees" "dog" "+") ("someone" "sees" "cat" "+")) -> ("someone" "needs" "dog" "+"))
If someone is big and they need the dog then the dog is red.
((("someone" "is" "big" "+") ("someone" "needs" "dog" "+")) -> ("dog" "is" "red" "+"))
If someone needs the cat and they do not see the dog then they eat the dog.
((("someone" "needs" "cat" "+") ("someone" "sees" "dog" "~")) -> ("someone" "eats" "dog" "+"))
If the bald eagle sees the cat then the cat needs the bald eagle.
((("bald eagle" "sees" "cat" "+")) -> ("cat" "needs" "bald eagle" "+"))
If someone eats the bald eagle then the bald eagle needs the dog.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "dog" "+"))
If someone needs the cat and they are not big then the cat is red.
((("someone" "needs" "cat" "+") ("someone" "is" "big" "~")) -> ("cat" "is" "red" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple10)]
("dog" "eats" "bald eagle" "+")
triple10
The cat does not need the bald eagle.
False
1
inv-proof
[(triple3)]
("cat" "needs" "bald eagle" "-")
triple3
The bald eagle needs the dog.
True
2
proof
[(((triple10) -> rule7))]
("bald eagle" "needs" "dog" "+")
((triple10) -> (rule7 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The cat is not big.
False
3
inv-proof
[(((triple7 triple8) -> rule1))]
("cat" "is" "big" "-")
((triple7 triple8) -> (rule1 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the dog.
True
4
proof
[(((((triple7 triple8) -> rule1)) -> rule2))]
("cat" "needs" "dog" "+")
((((triple7 triple8) -> (rule1 % int2))) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat does not need the dog.
False
4
inv-proof
[(((((triple7 triple8) -> rule1)) -> rule2))]
("cat" "needs" "dog" "-")
((((triple7 triple8) -> (rule1 % int2))) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The dog is red.
True
8
proof
[(((((triple7 triple8) -> rule1) ((((triple7 triple8) -> rule1)) -> rule2)) -> rule4))]
("dog" "is" "red" "+")
((((triple7 triple8) -> (rule1 % int3)) ((((triple7 triple8) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The dog is not red.
False
8
inv-proof
[(((((triple7 triple8) -> rule1) ((((triple7 triple8) -> rule1)) -> rule2)) -> rule4))]
("dog" "is" "red" "-")
((((triple7 triple8) -> (rule1 % int3)) ((((triple7 triple8) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The cow does not eat the dog.
Unknown
inv-rconc
[@1: The cow eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "eats" "dog" "-")
The dog needs the dog.
Unknown
rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "dog" "+")
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "is" "red" "-")
The cat eats the dog.
Unknown
rconc
[@1: The cat eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "eats" "dog" "+")
The bald eagle does not eat the cat.
Unknown
inv-random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The bald eagle needs the cat.[(triple1)] The cat is cold.[(triple2)] The cat needs the bald eagle.[(triple3)] The cat sees the bald eagle.[(triple4)] The cat sees the dog.[(triple5)] The cow eats the cat.[(triple6)] The cow is kind.[(triple7)] The cow needs the cat.[(triple8)] The cow needs the dog.[(triple9)] The dog eats the bald eagle.[(triple10)] The dog is green.[(triple11)] The dog needs the bald eagle.[(triple12)] @1: The bald eagle needs the dog.[(((triple10) -> rule7))] The cat is big.[(((triple7 triple8) -> rule1))] @2: The cat needs the dog.[(((((triple7 triple8) -> rule1)) -> rule2))] @3: The dog is red.[(((((triple7 triple8) -> rule1) ((((triple7 triple8) -> rule1)) -> rule2)) -> rule4))]
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple3
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple4
The cat sees the dog.
("cat" "sees" "dog" "+")
triple5
The cow eats the cat.
("cow" "eats" "cat" "+")
triple6
The cow is kind.
("cow" "is" "kind" "+")
triple7
The cow needs the cat.
("cow" "needs" "cat" "+")
triple8
The cow needs the dog.
("cow" "needs" "dog" "+")
triple9
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple10
The dog is green.
("dog" "is" "green" "+")
triple11
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple12
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((triple10) -> (rule7 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The cat is big.
("cat" "is" "big" "+")
((triple7 triple8) -> (rule1 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
((((triple7 triple8) -> (rule1 % int2))) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The dog is red.
("dog" "is" "red" "+")
((((triple7 triple8) -> (rule1 % int3)) ((((triple7 triple8) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3