The bald eagle eats the cat. The bald eagle is big. The bald eagle is not cold. The bald eagle needs the cow. The bald eagle needs the dog. The cat is blue. The cat needs the bald eagle. The cat sees the bald eagle. The cow eats the bald eagle. The cow is round. The cow needs the cat. The dog eats the bald eagle. The dog is not big. The dog is not green. The dog needs the cow. If someone needs the cow then the cow is big. If someone is big and they see the bald eagle then the bald eagle eats the cat. If someone eats the bald eagle then they are blue. If the cow is cold then the cow does not eat the dog. If someone eats the dog then the dog is not blue. If someone is blue then they see the cat.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is not big.
("dog" "is" "big" "-")
The dog is not green.
("dog" "is" "green" "-")
The dog needs the cow.
("dog" "needs" "cow" "+")
If someone needs the cow then the cow is big.
((("someone" "needs" "cow" "+")) -> ("cow" "is" "big" "+"))
If someone is big and they see the bald eagle then the bald eagle eats the cat.
((("someone" "is" "big" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
If someone eats the bald eagle then they are blue.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If the cow is cold then the cow does not eat the dog.
((("cow" "is" "cold" "+")) -> ("cow" "eats" "dog" "-"))
If someone eats the dog then the dog is not blue.
((("someone" "eats" "dog" "+")) -> ("dog" "is" "blue" "-"))
If someone is blue then they see the cat.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "cat" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple12)]
("dog" "eats" "bald eagle" "+")
triple12
The cat does not see the bald eagle.
False
1
inv-proof
[(triple8)]
("cat" "sees" "bald eagle" "-")
triple8
The cat sees the cat.
True
2
proof
[(((triple6) -> rule6))]
("cat" "sees" "cat" "+")
((triple6) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cow is not big.
False
2
inv-proof
[(((triple15) -> rule1) OR ((triple4) -> rule1))]
("cow" "is" "big" "-")
((triple15) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((triple4) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The dog sees the cat.
True
3
proof
[(((((triple12) -> rule3)) -> rule6))]
("dog" "sees" "cat" "+")
((((triple12) -> (rule3 % int2))) -> (rule6 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The cow does not see the cat.
False
3
inv-proof
[(((((triple9) -> rule3)) -> rule6))]
("cow" "sees" "cat" "-")
((((triple9) -> (rule3 % int2))) -> (rule6 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The bald eagle does not see the cat.
Unknown
inv-rconc
[@2: The bald eagle sees the cat.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("bald eagle" "sees" "cat" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The dog sees the cow.
Unknown
random
[@0: The dog sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "cow" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The dog sees the bald eagle.
Unknown
random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is not cold.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle needs the dog.[(triple5)] The cat is blue.[(triple6)] The cat needs the bald eagle.[(triple7)] The cat sees the bald eagle.[(triple8)] The cow eats the bald eagle.[(triple9)] The cow is round.[(triple10)] The cow needs the cat.[(triple11)] The dog eats the bald eagle.[(triple12)] The dog is not big.[(triple13)] The dog is not green.[(triple14)] The dog needs the cow.[(triple15)] @1: The cat sees the cat.[(((triple6) -> rule6))] The cow is big.[(((triple15) -> rule1) OR ((triple4) -> rule1))] The cow is blue.[(((triple9) -> rule3))] The dog is blue.[(((triple12) -> rule3))] @2: The cow sees the cat.[(((((triple9) -> rule3)) -> rule6))] The dog sees the cat.[(((((triple12) -> rule3)) -> rule6))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple5
The cat is blue.
("cat" "is" "blue" "+")
triple6
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple7
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple8
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple9
The cow is round.
("cow" "is" "round" "+")
triple10
The cow needs the cat.
("cow" "needs" "cat" "+")
triple11
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple12
The dog is not big.
("dog" "is" "big" "-")
triple13
The dog is not green.
("dog" "is" "green" "-")
triple14
The dog needs the cow.
("dog" "needs" "cow" "+")
triple15
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple6) -> (rule6 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cow is big.
("cow" "is" "big" "+")
((triple15) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((triple4) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((triple9) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
((triple12) -> (rule3 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
((((triple9) -> (rule3 % int2))) -> (rule6 % int1))
The cow sees the cat.
("cow" "sees" "cat" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
((((triple12) -> (rule3 % int2))) -> (rule6 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2