The bald eagle is big. The bald eagle is red. The bald eagle likes the tiger. The cat is red. The cat is young. The cat likes the bald eagle. The cat likes the cow. The cat likes the tiger. The cat visits the tiger. The cow eats the bald eagle. The cow is big. The cow is red. The cow likes the bald eagle. The cow visits the bald eagle. The tiger eats the bald eagle. The tiger likes the bald eagle. If someone eats the cow and they visit the cow then they like the cow. If someone is young and they like the bald eagle then they eat the cow. If the tiger visits the bald eagle and the tiger likes the cat then the bald eagle visits the cat. If someone likes the bald eagle and the bald eagle is red then the bald eagle is young. If the bald eagle visits the cow then the cow visits the cat. If the tiger is red and the tiger likes the bald eagle then the bald eagle visits the cow. If the cow is young then the cow visits the bald eagle. If someone visits the cow and the cow is red then the cow likes the cat.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
If someone eats the cow and they visit the cow then they like the cow.
((("someone" "eats" "cow" "+") ("someone" "visits" "cow" "+")) -> ("someone" "likes" "cow" "+"))
If someone is young and they like the bald eagle then they eat the cow.
((("someone" "is" "young" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "eats" "cow" "+"))
If the tiger visits the bald eagle and the tiger likes the cat then the bald eagle visits the cat.
((("tiger" "visits" "bald eagle" "+") ("tiger" "likes" "cat" "+")) -> ("bald eagle" "visits" "cat" "+"))
If someone likes the bald eagle and the bald eagle is red then the bald eagle is young.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "is" "red" "+")) -> ("bald eagle" "is" "young" "+"))
If the bald eagle visits the cow then the cow visits the cat.
((("bald eagle" "visits" "cow" "+")) -> ("cow" "visits" "cat" "+"))
If the tiger is red and the tiger likes the bald eagle then the bald eagle visits the cow.
((("tiger" "is" "red" "+") ("tiger" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "cow" "+"))
If the cow is young then the cow visits the bald eagle.
((("cow" "is" "young" "+")) -> ("cow" "visits" "bald eagle" "+"))
If someone visits the cow and the cow is red then the cow likes the cat.
((("someone" "visits" "cow" "+") ("cow" "is" "red" "+")) -> ("cow" "likes" "cat" "+"))
The cat likes the tiger.
True
1
proof
[(triple8)]
("cat" "likes" "tiger" "+")
triple8
The cat is not red.
False
1
inv-proof
[(triple4)]
("cat" "is" "red" "-")
triple4
The tiger does not eat the cow.
Unknown
inv-rconc
[@1: The tiger eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "cow" "-")
The cat eats the bald eagle.
Unknown
random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the tiger.[(triple3)] The cat is red.[(triple4)] The cat is young.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat likes the cow.[(triple7)] The cat likes the tiger.[(triple8)] The cat visits the tiger.[(triple9)] The cow eats the bald eagle.[(triple10)] The cow is big.[(triple11)] The cow is red.[(triple12)] The cow likes the bald eagle.[(triple13)] The cow visits the bald eagle.[(triple14)] The tiger eats the bald eagle.[(triple15)] The tiger likes the bald eagle.[(triple16)] @1: The bald eagle is young.[(((triple13 triple2) -> rule4) OR ((triple16 triple2) -> rule4) OR ((triple6 triple2) -> rule4))] The cat eats the cow.[(((triple5 triple6) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple6
The cat likes the cow.
("cat" "likes" "cow" "+")
triple7
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple8
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple9
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple10
The cow is big.
("cow" "is" "big" "+")
triple11
The cow is red.
("cow" "is" "red" "+")
triple12
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple13
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple14
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple15
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple16
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple13 triple2) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
((triple16 triple2) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
((triple6 triple2) -> (rule4 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
((triple5 triple6) -> (rule2 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1