The bald eagle chases the cat. The bald eagle chases the mouse. The bald eagle is big. The bald eagle is blue. The bald eagle is red. The cat is cold. The cat is red. The cat likes the cow. The cat likes the mouse. The cow chases the cat. The cow eats the bald eagle. The cow is blue. The cow is kind. The mouse eats the bald eagle. The mouse likes the cat. If something eats the mouse and the mouse eats the cat then the cat is blue. If the mouse eats the cow then the cow is blue. If something eats the mouse and it is cold then it is big. If something is kind then it likes the cat. If the cow eats the cat and the cow eats the bald eagle then the cow likes the cat. If the cow chases the cat and the cow likes the cat then the cat chases the cow. All cold things are blue. If something chases the cow then the cow is big.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
If something eats the mouse and the mouse eats the cat then the cat is blue.
((("something" "eats" "mouse" "+") ("mouse" "eats" "cat" "+")) -> ("cat" "is" "blue" "+"))
If the mouse eats the cow then the cow is blue.
((("mouse" "eats" "cow" "+")) -> ("cow" "is" "blue" "+"))
If something eats the mouse and it is cold then it is big.
((("something" "eats" "mouse" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is kind then it likes the cat.
((("something" "is" "kind" "+")) -> ("something" "likes" "cat" "+"))
If the cow eats the cat and the cow eats the bald eagle then the cow likes the cat.
((("cow" "eats" "cat" "+") ("cow" "eats" "bald eagle" "+")) -> ("cow" "likes" "cat" "+"))
If the cow chases the cat and the cow likes the cat then the cat chases the cow.
((("cow" "chases" "cat" "+") ("cow" "likes" "cat" "+")) -> ("cat" "chases" "cow" "+"))
All cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something chases the cow then the cow is big.
((("something" "chases" "cow" "+")) -> ("cow" "is" "big" "+"))
The bald eagle chases the cat.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cat" "+")
triple1
The cat does not like the cow.
False
1
inv-proof
[(triple8)]
("cat" "likes" "cow" "-")
triple8
The cat is blue.
True
2
proof
[(((triple6) -> rule7))]
("cat" "is" "blue" "+")
((triple6) -> (rule7 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cow does not like the cat.
False
2
inv-proof
[(((triple13) -> rule4))]
("cow" "likes" "cat" "-")
((triple13) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cat chases the cow.
True
4
proof
[(((triple10 ((triple13) -> rule4)) -> rule6))]
("cat" "chases" "cow" "+")
((triple10 ((triple13) -> (rule4 % int2))) -> (rule6 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
The cat does not chase the cow.
False
4
inv-proof
[(((triple10 ((triple13) -> rule4)) -> rule6))]
("cat" "chases" "cow" "-")
((triple10 ((triple13) -> (rule4 % int2))) -> (rule6 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
The cow is big.
True
5
proof
[(((((triple10 ((triple13) -> rule4)) -> rule6)) -> rule8))]
("cow" "is" "big" "+")
((((triple10 ((triple13) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3
The cow is not big.
False
5
inv-proof
[(((((triple10 ((triple13) -> rule4)) -> rule6)) -> rule8))]
("cow" "is" "big" "-")
((((triple10 ((triple13) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "likes" "cat" "-")
The mouse is blue.
Unknown
rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "is" "blue" "+")
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "big" "-")
The mouse is big.
Unknown
rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "big" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The mouse eats the cow.
Unknown
random
[@0: The mouse eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cow" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The cat chases the mouse.
Unknown
random
[@0: The cat chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "mouse" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle is red.[(triple5)] The cat is cold.[(triple6)] The cat is red.[(triple7)] The cat likes the cow.[(triple8)] The cat likes the mouse.[(triple9)] The cow chases the cat.[(triple10)] The cow eats the bald eagle.[(triple11)] The cow is blue.[(triple12)] The cow is kind.[(triple13)] The mouse eats the bald eagle.[(triple14)] The mouse likes the cat.[(triple15)] @1: The cat is blue.[(((triple6) -> rule7))] The cow likes the cat.[(((triple13) -> rule4))] @2: The cat chases the cow.[(((triple10 ((triple13) -> rule4)) -> rule6))] @3: The cow is big.[(((((triple10 ((triple13) -> rule4)) -> rule6)) -> rule8))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The cat is cold.
("cat" "is" "cold" "+")
triple6
The cat is red.
("cat" "is" "red" "+")
triple7
The cat likes the cow.
("cat" "likes" "cow" "+")
triple8
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple9
The cow chases the cat.
("cow" "chases" "cat" "+")
triple10
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple11
The cow is blue.
("cow" "is" "blue" "+")
triple12
The cow is kind.
("cow" "is" "kind" "+")
triple13
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple14
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple15
The cat is blue.
("cat" "is" "blue" "+")
((triple6) -> (rule7 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
((triple13) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
((triple10 ((triple13) -> (rule4 % int2))) -> (rule6 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
The cow is big.
("cow" "is" "big" "+")
((((triple10 ((triple13) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3