The bald eagle does not chase the tiger. The bald eagle likes the tiger. The bald eagle visits the cat. The bald eagle visits the tiger. The cat chases the bald eagle. The cat is green. The cat is rough. The cat likes the tiger. The cat visits the tiger. The tiger is big. The tiger likes the bald eagle. The tiger visits the cat. If someone visits the bald eagle then they are rough. If the cat likes the tiger then the cat is big. If the bald eagle chases the cat then the cat likes the bald eagle. If someone is blue then they like the tiger. Rough, cold people are blue. If someone likes the cat and they chase the bald eagle then they visit the tiger. If someone visits the bald eagle then the bald eagle visits the tiger. If someone likes the cat then the cat is blue.
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If someone visits the bald eagle then they are rough.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "rough" "+"))
If the cat likes the tiger then the cat is big.
((("cat" "likes" "tiger" "+")) -> ("cat" "is" "big" "+"))
If the bald eagle chases the cat then the cat likes the bald eagle.
((("bald eagle" "chases" "cat" "+")) -> ("cat" "likes" "bald eagle" "+"))
If someone is blue then they like the tiger.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "tiger" "+"))
Rough, cold people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the cat and they chase the bald eagle then they visit the tiger.
((("someone" "likes" "cat" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "visits" "tiger" "+"))
If someone visits the bald eagle then the bald eagle visits the tiger.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If someone likes the cat then the cat is blue.
((("someone" "likes" "cat" "+")) -> ("cat" "is" "blue" "+"))
The cat is rough.
True
1
proof
[(triple7)]
("cat" "is" "rough" "+")
triple7
The tiger does not like the bald eagle.
False
1
inv-proof
[(triple11)]
("tiger" "likes" "bald eagle" "-")
triple11
The cat is big.
True
2
proof
[(((triple8) -> rule2))]
("cat" "is" "big" "+")
((triple8) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is not big.
False
2
inv-proof
[(((triple8) -> rule2))]
("cat" "is" "big" "-")
((triple8) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat does not like the bald eagle.
Unknown
inv-rconc
[@1: The cat likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "bald eagle" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The tiger does not chase the bald eagle.
Unknown
inv-random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The bald eagle does not chase the tiger.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle visits the cat.[(triple3)] The bald eagle visits the tiger.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat is green.[(triple6)] The cat is rough.[(triple7)] The cat likes the tiger.[(triple8)] The cat visits the tiger.[(triple9)] The tiger is big.[(triple10)] The tiger likes the bald eagle.[(triple11)] The tiger visits the cat.[(triple12)] @1: The cat is big.[(((triple8) -> rule2))]
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple3
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple7
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple8
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple11
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple12
The cat is big.
("cat" "is" "big" "+")
((triple8) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1