The bald eagle likes the cat. The bear visits the bald eagle. The cat needs the bear. The tiger is young. If someone likes the bear then they visit the bald eagle. If someone needs the bald eagle and the bald eagle likes the cat then the cat visits the tiger. If the bald eagle likes the cat and the bald eagle is round then the cat is not nice. If someone likes the cat and they need the tiger then they are big. If someone needs the bear then the bear needs the cat. If someone visits the bald eagle and they are round then the bald eagle is nice.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The tiger is young.
("tiger" "is" "young" "+")
If someone likes the bear then they visit the bald eagle.
((("someone" "likes" "bear" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone needs the bald eagle and the bald eagle likes the cat then the cat visits the tiger.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "likes" "cat" "+")) -> ("cat" "visits" "tiger" "+"))
If the bald eagle likes the cat and the bald eagle is round then the cat is not nice.
((("bald eagle" "likes" "cat" "+") ("bald eagle" "is" "round" "+")) -> ("cat" "is" "nice" "-"))
If someone likes the cat and they need the tiger then they are big.
((("someone" "likes" "cat" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "is" "big" "+"))
If someone needs the bear then the bear needs the cat.
((("someone" "needs" "bear" "+")) -> ("bear" "needs" "cat" "+"))
If someone visits the bald eagle and they are round then the bald eagle is nice.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "round" "+")) -> ("bald eagle" "is" "nice" "+"))
The tiger is young.
True
1
proof
[(triple4)]
("tiger" "is" "young" "+")
triple4
The tiger is not young.
False
1
inv-proof
[(triple4)]
("tiger" "is" "young" "-")
triple4
The bear needs the cat.
True
2
proof
[(((triple3) -> rule5))]
("bear" "needs" "cat" "+")
((triple3) -> (rule5 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear does not need the cat.
False
2
inv-proof
[(((triple3) -> rule5))]
("bear" "needs" "cat" "-")
((triple3) -> (rule5 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear is not big.
Unknown
inv-rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "big" "-")
The cat visits the tiger.
Unknown
rconc
[@1: The cat visits the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "visits" "tiger" "+")
The tiger does not like the bear.
Unknown
inv-random
[@0: The tiger likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bear" "-")
The bear visits the cat.
Unknown
random
[@0: The bear visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "cat" "+")
@0: The bald eagle likes the cat.[(triple1)] The bear visits the bald eagle.[(triple2)] The cat needs the bear.[(triple3)] The tiger is young.[(triple4)] @1: The bear needs the cat.[(((triple3) -> rule5))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple2
The cat needs the bear.
("cat" "needs" "bear" "+")
triple3
The tiger is young.
("tiger" "is" "young" "+")
triple4
The bear needs the cat.
("bear" "needs" "cat" "+")
((triple3) -> (rule5 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1