The bald eagle is big. The bald eagle visits the tiger. The lion chases the bald eagle. The lion eats the bald eagle. The lion eats the tiger. The lion visits the bald eagle. The lion visits the tiger. The tiger chases the bald eagle. The tiger chases the lion. The tiger eats the lion. The tiger visits the bald eagle. The tiger visits the lion. If someone visits the tiger and they visit the lion then the tiger is big. If someone chases the lion and they are big then they are cold. If someone chases the tiger then they visit the lion. If someone chases the lion then the lion chases the tiger. If someone eats the bald eagle and the bald eagle eats the tiger then the bald eagle visits the lion. If someone chases the bald eagle then they visit the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone visits the tiger and they visit the lion then the tiger is big.
((("someone" "visits" "tiger" "+") ("someone" "visits" "lion" "+")) -> ("tiger" "is" "big" "+"))
If someone chases the lion and they are big then they are cold.
((("someone" "chases" "lion" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone chases the tiger then they visit the lion.
((("someone" "chases" "tiger" "+")) -> ("someone" "visits" "lion" "+"))
If someone chases the lion then the lion chases the tiger.
((("someone" "chases" "lion" "+")) -> ("lion" "chases" "tiger" "+"))
If someone eats the bald eagle and the bald eagle eats the tiger then the bald eagle visits the lion.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "eats" "tiger" "+")) -> ("bald eagle" "visits" "lion" "+"))
If someone chases the bald eagle then they visit the bald eagle.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "+"))
The lion visits the tiger.
True
1
proof
[(triple7)]
("lion" "visits" "tiger" "+")
triple7
The lion does not eat the tiger.
False
1
inv-proof
[(triple5)]
("lion" "eats" "tiger" "-")
triple5
The lion chases the tiger.
True
2
proof
[(((triple9) -> rule4))]
("lion" "chases" "tiger" "+")
((triple9) -> (rule4 % int1))
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int1
The lion does not chase the tiger.
False
2
inv-proof
[(((triple9) -> rule4))]
("lion" "chases" "tiger" "-")
((triple9) -> (rule4 % int1))
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int1
The lion visits the lion.
True
3
proof
[(((((triple9) -> rule4)) -> rule3))]
("lion" "visits" "lion" "+")
((((triple9) -> (rule4 % int2))) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int2
The lion does not visit the lion.
False
3
inv-proof
[(((((triple9) -> rule4)) -> rule3))]
("lion" "visits" "lion" "-")
((((triple9) -> (rule4 % int2))) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int2
The tiger is big.
True
5
proof
[(((triple7 ((((triple9) -> rule4)) -> rule3)) -> rule1))]
("tiger" "is" "big" "+")
((triple7 ((((triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int3
The tiger is not big.
False
5
inv-proof
[(((triple7 ((((triple9) -> rule4)) -> rule3)) -> rule1))]
("tiger" "is" "big" "-")
((triple7 ((((triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int3
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "cold" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle visits the lion.
Unknown
rconc
[@1: The bald eagle visits the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "lion" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle visits the tiger.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion eats the bald eagle.[(triple4)] The lion eats the tiger.[(triple5)] The lion visits the bald eagle.[(triple6 OR ((triple3) -> rule6))] The lion visits the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the lion.[(triple9)] The tiger eats the lion.[(triple10)] The tiger visits the bald eagle.[(triple11 OR ((triple8) -> rule6))] The tiger visits the lion.[(triple12)] @1: The lion chases the tiger.[(((triple9) -> rule4))] @2: The lion visits the lion.[(((((triple9) -> rule4)) -> rule3))] @3: The tiger is big.[(((triple7 ((((triple9) -> rule4)) -> rule3)) -> rule1))] @4: The tiger is cold.[(((triple9 ((triple7 ((((triple9) -> rule4)) -> rule3)) -> rule1)) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple5
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple6
((triple3) -> (rule6 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple7
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple9
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple10
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple11
((triple8) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple12
The lion chases the tiger.
("lion" "chases" "tiger" "+")
((triple9) -> (rule4 % int1))
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
((((triple9) -> (rule4 % int2))) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
((triple7 ((((triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int3
The tiger is cold.
("tiger" "is" "cold" "+")
((triple9 ((triple7 ((((triple9) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The lion visits the lion.
("lion" "visits" "lion" "+")
int3
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int4