The bald eagle chases the mouse. The bald eagle eats the bear. The bald eagle is big. The bald eagle is cold. The bald eagle is nice. The bear is big. The bear is blue. The bear is young. The bear sees the mouse. The lion chases the bear. The lion chases the mouse. The lion eats the bear. The lion is young. The lion sees the bear. The mouse eats the bald eagle. The mouse sees the bear. If something eats the lion and it eats the bald eagle then the lion sees the bear. If something eats the mouse and it is young then it sees the mouse. If something is cold then it eats the lion. If something chases the lion then the lion is cold. If something sees the lion and the lion is young then it chases the lion. If something is blue then it sees the lion. If something is blue and it sees the mouse then the mouse sees the lion. If something eats the bald eagle then the bald eagle sees the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If something eats the lion and it eats the bald eagle then the lion sees the bear.
((("something" "eats" "lion" "+") ("something" "eats" "bald eagle" "+")) -> ("lion" "sees" "bear" "+"))
If something eats the mouse and it is young then it sees the mouse.
((("something" "eats" "mouse" "+") ("something" "is" "young" "+")) -> ("something" "sees" "mouse" "+"))
If something is cold then it eats the lion.
((("something" "is" "cold" "+")) -> ("something" "eats" "lion" "+"))
If something chases the lion then the lion is cold.
((("something" "chases" "lion" "+")) -> ("lion" "is" "cold" "+"))
If something sees the lion and the lion is young then it chases the lion.
((("something" "sees" "lion" "+") ("lion" "is" "young" "+")) -> ("something" "chases" "lion" "+"))
If something is blue then it sees the lion.
((("something" "is" "blue" "+")) -> ("something" "sees" "lion" "+"))
If something is blue and it sees the mouse then the mouse sees the lion.
((("something" "is" "blue" "+") ("something" "sees" "mouse" "+")) -> ("mouse" "sees" "lion" "+"))
If something eats the bald eagle then the bald eagle sees the mouse.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
The lion is young.
True
1
proof
[(triple13)]
("lion" "is" "young" "+")
triple13
The bear is not big.
False
1
inv-proof
[(triple6)]
("bear" "is" "big" "-")
triple6
The bald eagle eats the lion.
True
2
proof
[(((triple4) -> rule3))]
("bald eagle" "eats" "lion" "+")
((triple4) -> (rule3 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The mouse does not see the lion.
False
3
inv-proof
[(((triple7 triple9) -> rule7))]
("mouse" "sees" "lion" "-")
((triple7 triple9) -> (rule7 % int1))
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int1
The bear chases the lion.
True
4
proof
[(((((triple7) -> rule6) triple13) -> rule5))]
("bear" "chases" "lion" "+")
((((triple7) -> (rule6 % int2)) triple13) -> (rule5 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
The bear does not chase the lion.
False
4
inv-proof
[(((((triple7) -> rule6) triple13) -> rule5))]
("bear" "chases" "lion" "-")
((((triple7) -> (rule6 % int2)) triple13) -> (rule5 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
The lion is cold.
True
5
proof
[(((((((triple7) -> rule6) triple13) -> rule5)) -> rule4) OR ((((((triple7 triple9) -> rule7) triple13) -> rule5)) -> rule4))]
("lion" "is" "cold" "+")
((((((triple7) -> (rule6 % int3)) triple13) -> (rule5 % int2))) -> (rule4 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
((((((triple7 triple9) -> (rule7 % int3)) triple13) -> (rule5 % int2))) -> (rule4 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int2
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int3
The lion is not cold.
False
5
inv-proof
[(((((((triple7) -> rule6) triple13) -> rule5)) -> rule4) OR ((((((triple7 triple9) -> rule7) triple13) -> rule5)) -> rule4))]
("lion" "is" "cold" "-")
((((((triple7) -> (rule6 % int3)) triple13) -> (rule5 % int2))) -> (rule4 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
((((((triple7 triple9) -> (rule7 % int3)) triple13) -> (rule5 % int2))) -> (rule4 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int2
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int3
The bald eagle does not see the lion.
Unknown
inv-rconc
[@1: The bald eagle sees the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "sees" "lion" "-")
The lion chases the lion.
Unknown
rconc
[@2: The lion chases the lion.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("lion" "chases" "lion" "+")
The lion does not see the lion.
Unknown
inv-rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "sees" "lion" "-")
The bear eats the lion.
Unknown
rconc
[@1: The bear eats the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "lion" "+")
The bald eagle does not see the bear.
Unknown
inv-random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "-")
The lion sees the bald eagle.
Unknown
random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The lion eats the bald eagle.
Unknown
random
[@0: The lion eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bald eagle" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is nice.[(triple5)] The bear is big.[(triple6)] The bear is blue.[(triple7)] The bear is young.[(triple8)] The bear sees the mouse.[(triple9)] The lion chases the bear.[(triple10)] The lion chases the mouse.[(triple11)] The lion eats the bear.[(triple12)] The lion is young.[(triple13)] The lion sees the bear.[(triple14)] The mouse eats the bald eagle.[(triple15)] The mouse sees the bear.[(triple16)] @1: The bald eagle eats the lion.[(((triple4) -> rule3))] The bald eagle sees the mouse.[(((triple15) -> rule8))] The bear sees the lion.[(((triple7) -> rule6))] The mouse sees the lion.[(((triple7 triple9) -> rule7))] @2: The bear chases the lion.[(((((triple7) -> rule6) triple13) -> rule5))] The mouse chases the lion.[(((((triple7 triple9) -> rule7) triple13) -> rule5))] @3: The lion is cold.[(((((((triple7) -> rule6) triple13) -> rule5)) -> rule4) OR ((((((triple7 triple9) -> rule7) triple13) -> rule5)) -> rule4))] @4: The lion eats the lion.[(((((((((triple7) -> rule6) triple13) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple7 triple9) -> rule7) triple13) -> rule5)) -> rule4)) -> rule3))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple5
The bear is big.
("bear" "is" "big" "+")
triple6
The bear is blue.
("bear" "is" "blue" "+")
triple7
The bear is young.
("bear" "is" "young" "+")
triple8
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple9
The lion chases the bear.
("lion" "chases" "bear" "+")
triple10
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple11
The lion eats the bear.
("lion" "eats" "bear" "+")
triple12
The lion is young.
("lion" "is" "young" "+")
triple13
The lion sees the bear.
("lion" "sees" "bear" "+")
triple14
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple15
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple16
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple4) -> (rule3 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
((triple15) -> (rule8 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
((triple7) -> (rule6 % int1))
The bear sees the lion.
("bear" "sees" "lion" "+")
int1
The mouse sees the lion.
("mouse" "sees" "lion" "+")
((triple7 triple9) -> (rule7 % int1))
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
((((triple7) -> (rule6 % int2)) triple13) -> (rule5 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
The mouse chases the lion.
("mouse" "chases" "lion" "+")
((((triple7 triple9) -> (rule7 % int2)) triple13) -> (rule5 % int1))
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int1
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
((((((triple7) -> (rule6 % int3)) triple13) -> (rule5 % int2))) -> (rule4 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
The bear sees the lion.
("bear" "sees" "lion" "+")
int3
((((((triple7 triple9) -> (rule7 % int3)) triple13) -> (rule5 % int2))) -> (rule4 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int2
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
((((((((triple7) -> (rule6 % int4)) triple13) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The bear chases the lion.
("bear" "chases" "lion" "+")
int3
The bear sees the lion.
("bear" "sees" "lion" "+")
int4
((((((((triple7 triple9) -> (rule7 % int4)) triple13) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The mouse chases the lion.
("mouse" "chases" "lion" "+")
int3
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int4