The bald eagle is big. The bald eagle visits the bear. The bald eagle visits the tiger. The bear is cold. The bear is round. The bear likes the bald eagle. The bear likes the tiger. The bear sees the bald eagle. The bear visits the bald eagle. The tiger is big. The tiger is cold. The tiger is rough. The tiger likes the bear. The tiger sees the bald eagle. The tiger sees the bear. The tiger visits the bald eagle. If someone likes the tiger then they visit the tiger. If someone visits the tiger and they are round then they see the tiger. If someone sees the bear and they visit the bear then they visit the tiger. If someone likes the bear then the bear is cold. If the tiger visits the bald eagle and the tiger visits the bear then the bear sees the tiger. If someone sees the bald eagle then they are big. If someone visits the bald eagle then the bald eagle likes the bear. If someone likes the bear and they visit the tiger then they see the bear.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone likes the tiger then they visit the tiger.
((("someone" "likes" "tiger" "+")) -> ("someone" "visits" "tiger" "+"))
If someone visits the tiger and they are round then they see the tiger.
((("someone" "visits" "tiger" "+") ("someone" "is" "round" "+")) -> ("someone" "sees" "tiger" "+"))
If someone sees the bear and they visit the bear then they visit the tiger.
((("someone" "sees" "bear" "+") ("someone" "visits" "bear" "+")) -> ("someone" "visits" "tiger" "+"))
If someone likes the bear then the bear is cold.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "cold" "+"))
If the tiger visits the bald eagle and the tiger visits the bear then the bear sees the tiger.
((("tiger" "visits" "bald eagle" "+") ("tiger" "visits" "bear" "+")) -> ("bear" "sees" "tiger" "+"))
If someone sees the bald eagle then they are big.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "big" "+"))
If someone visits the bald eagle then the bald eagle likes the bear.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "+"))
If someone likes the bear and they visit the tiger then they see the bear.
((("someone" "likes" "bear" "+") ("someone" "visits" "tiger" "+")) -> ("someone" "sees" "bear" "+"))
The bear is cold.
True
1
proof
[(triple4 OR ((triple13) -> rule4) OR ((((triple16) -> rule7)) -> rule4) OR ((((triple9) -> rule7)) -> rule4))]
("bear" "is" "cold" "+")
triple4
((triple13) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((((triple16) -> (rule7 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
((((triple9) -> (rule7 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bear does not like the bald eagle.
False
1
inv-proof
[(triple6)]
("bear" "likes" "bald eagle" "-")
triple6
The bear visits the tiger.
True
2
proof
[(((triple7) -> rule1))]
("bear" "visits" "tiger" "+")
((triple7) -> (rule1 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The bald eagle does not like the bear.
False
2
inv-proof
[(((triple16) -> rule7) OR ((triple9) -> rule7))]
("bald eagle" "likes" "bear" "-")
((triple16) -> (rule7 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
((triple9) -> (rule7 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle sees the bear.
True
4
proof
[(((((triple16) -> rule7) triple3) -> rule8) OR ((((triple9) -> rule7) triple3) -> rule8))]
("bald eagle" "sees" "bear" "+")
((((triple16) -> (rule7 % int2)) triple3) -> (rule8 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
((((triple9) -> (rule7 % int2)) triple3) -> (rule8 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bear does not see the tiger.
False
4
inv-proof
[(((((triple7) -> rule1) triple5) -> rule2))]
("bear" "sees" "tiger" "-")
((((triple7) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger visits the tiger.
Unknown
rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "tiger" "+")
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "sees" "bear" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bald eagle does not like the tiger.
Unknown
inv-random
[@0: The bald eagle likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "tiger" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle visits the bear.[(triple2)] The bald eagle visits the tiger.[(triple3)] The bear is cold.[(triple4 OR ((triple13) -> rule4) OR ((((triple16) -> rule7)) -> rule4) OR ((((triple9) -> rule7)) -> rule4))] The bear is round.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear likes the tiger.[(triple7)] The bear sees the bald eagle.[(triple8)] The bear visits the bald eagle.[(triple9)] The tiger is big.[(triple10 OR ((triple14) -> rule6))] The tiger is cold.[(triple11)] The tiger is rough.[(triple12)] The tiger likes the bear.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger sees the bear.[(triple15)] The tiger visits the bald eagle.[(triple16)] @1: The bald eagle likes the bear.[(((triple16) -> rule7) OR ((triple9) -> rule7))] The bear is big.[(((triple8) -> rule6))] The bear visits the tiger.[(((triple7) -> rule1))] @2: The bald eagle sees the bear.[(((((triple16) -> rule7) triple3) -> rule8) OR ((((triple9) -> rule7) triple3) -> rule8))] The bear sees the tiger.[(((((triple7) -> rule1) triple5) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
((triple13) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((((triple16) -> (rule7 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
((((triple9) -> (rule7 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bear is round.
("bear" "is" "round" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple7
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple8
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
((triple14) -> (rule6 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is rough.
("tiger" "is" "rough" "+")
triple12
The tiger likes the bear.
("tiger" "likes" "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 bald eagle.
("tiger" "visits" "bald eagle" "+")
triple16
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
((triple16) -> (rule7 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
((triple9) -> (rule7 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bear is big.
("bear" "is" "big" "+")
((triple8) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
((triple7) -> (rule1 % int1))
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((((triple16) -> (rule7 % int2)) triple3) -> (rule8 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
((((triple9) -> (rule7 % int2)) triple3) -> (rule8 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bear sees the tiger.
("bear" "sees" "tiger" "+")
((((triple7) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
int2