The bald eagle needs the cat. The bald eagle sees the bear. The bald eagle sees the cat. The bald eagle sees the tiger. The bald eagle visits the cat. The bear needs the bald eagle. The bear needs the cat. The bear visits the tiger. The cat is big. The cat needs the tiger. The cat visits the bald eagle. The tiger needs the bald eagle. The tiger needs the bear. The tiger sees the bald eagle. The tiger sees the bear. The tiger visits the cat. If the bald eagle is young and the bald eagle needs the tiger then the bald eagle visits the tiger. If the bear is young then the bear is blue. If something sees the tiger and the tiger needs the bald eagle then the bald eagle is big. If something sees the cat and it visits the cat then it visits the bear. If something is big then it needs the tiger. If something is young and it visits the tiger then it is big.
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The cat is big.
("cat" "is" "big" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If the bald eagle is young and the bald eagle needs the tiger then the bald eagle visits the tiger.
((("bald eagle" "is" "young" "+") ("bald eagle" "needs" "tiger" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If the bear is young then the bear is blue.
((("bear" "is" "young" "+")) -> ("bear" "is" "blue" "+"))
If something sees the tiger and the tiger needs the bald eagle then the bald eagle is big.
((("something" "sees" "tiger" "+") ("tiger" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If something sees the cat and it visits the cat then it visits the bear.
((("something" "sees" "cat" "+") ("something" "visits" "cat" "+")) -> ("something" "visits" "bear" "+"))
If something is big then it needs the tiger.
((("something" "is" "big" "+")) -> ("something" "needs" "tiger" "+"))
If something is young and it visits the tiger then it is big.
((("something" "is" "young" "+") ("something" "visits" "tiger" "+")) -> ("something" "is" "big" "+"))
The bald eagle sees the cat.
True
1
proof
[(triple3)]
("bald eagle" "sees" "cat" "+")
triple3
The bear does not need the bald eagle.
False
1
inv-proof
[(triple6)]
("bear" "needs" "bald eagle" "-")
triple6
The bald eagle is big.
True
3
proof
[(((triple4 triple12) -> rule3))]
("bald eagle" "is" "big" "+")
((triple4 triple12) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle does not visit the bear.
False
3
inv-proof
[(((triple3 triple5) -> rule4))]
("bald eagle" "visits" "bear" "-")
((triple3 triple5) -> (rule4 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle needs the tiger.
True
4
proof
[(((((triple4 triple12) -> rule3)) -> rule5))]
("bald eagle" "needs" "tiger" "+")
((((triple4 triple12) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle does not need the tiger.
False
4
inv-proof
[(((((triple4 triple12) -> rule3)) -> rule5))]
("bald eagle" "needs" "tiger" "-")
((((triple4 triple12) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The tiger is not big.
Unknown
inv-rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "is" "big" "-")
The bear needs the tiger.
Unknown
rconc
[@2: The bear needs the tiger.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("bear" "needs" "tiger" "+")
The cat does not visit the bear.
Unknown
inv-rconc
[@1: The cat visits the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "visits" "bear" "-")
The bear sees the cat.
Unknown
random
[@0: The bear sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "cat" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The bear sees the tiger.
Unknown
random
[@0: The bear sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "tiger" "+")
@0: The bald eagle needs the cat.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle sees the tiger.[(triple4)] The bald eagle visits the cat.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear needs the cat.[(triple7)] The bear visits the tiger.[(triple8)] The cat is big.[(triple9)] The cat needs the tiger.[(triple10 OR ((triple9) -> rule5))] The cat visits the bald eagle.[(triple11)] The tiger needs the bald eagle.[(triple12)] The tiger needs the bear.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger sees the bear.[(triple15)] The tiger visits the cat.[(triple16)] @1: The bald eagle is big.[(((triple4 triple12) -> rule3))] The bald eagle visits the bear.[(((triple3 triple5) -> rule4))] @2: The bald eagle needs the tiger.[(((((triple4 triple12) -> rule3)) -> rule5))]
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple3
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple4
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple5
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The bear needs the cat.
("bear" "needs" "cat" "+")
triple7
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple8
The cat is big.
("cat" "is" "big" "+")
triple9
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple10
((triple9) -> (rule5 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple11
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple12
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple13
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple14
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple15
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple16
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple4 triple12) -> (rule3 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((triple3 triple5) -> (rule4 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
((((triple4 triple12) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2