The bald eagle is rough. The bald eagle visits the tiger. The cat eats the lion. The cat is big. The cat sees the lion. The cat visits the lion. The lion does not eat the cat. The lion is rough. The lion sees the tiger. The lion visits the bald eagle. The tiger eats the bald eagle. The tiger eats the cat. The tiger eats the lion. The tiger is cold. The tiger sees the bald eagle. If someone eats the cat then the cat visits the bald eagle. If someone visits the bald eagle and they are big then the bald eagle visits the lion. If someone visits the lion then the lion is rough. If the bald eagle sees the cat and the bald eagle is not red then the bald eagle is not big. If someone visits the cat then the cat does not eat the tiger. If someone is cold and they eat the lion then the lion visits the cat. If someone visits the cat then they visit the lion. If someone is red then they eat the lion.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is big.
("cat" "is" "big" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion does not eat the cat.
("lion" "eats" "cat" "-")
The lion is rough.
("lion" "is" "rough" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone eats the cat then the cat visits the bald eagle.
((("someone" "eats" "cat" "+")) -> ("cat" "visits" "bald eagle" "+"))
If someone visits the bald eagle and they are big then the bald eagle visits the lion.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "big" "+")) -> ("bald eagle" "visits" "lion" "+"))
If someone visits the lion then the lion is rough.
((("someone" "visits" "lion" "+")) -> ("lion" "is" "rough" "+"))
If the bald eagle sees the cat and the bald eagle is not red then the bald eagle is not big.
((("bald eagle" "sees" "cat" "+") ("bald eagle" "is" "red" "~")) -> ("bald eagle" "is" "big" "-"))
If someone visits the cat then the cat does not eat the tiger.
((("someone" "visits" "cat" "+")) -> ("cat" "eats" "tiger" "-"))
If someone is cold and they eat the lion then the lion visits the cat.
((("someone" "is" "cold" "+") ("someone" "eats" "lion" "+")) -> ("lion" "visits" "cat" "+"))
If someone visits the cat then they visit the lion.
((("someone" "visits" "cat" "+")) -> ("someone" "visits" "lion" "+"))
If someone is red then they eat the lion.
((("someone" "is" "red" "+")) -> ("someone" "eats" "lion" "+"))
The tiger is cold.
True
1
proof
[(triple14)]
("tiger" "is" "cold" "+")
triple14
The lion eats the cat.
False
1
inv-proof
[(triple7)]
("lion" "eats" "cat" "+")
triple7
The cat visits the bald eagle.
True
2
proof
[(((triple12) -> rule1))]
("cat" "visits" "bald eagle" "+")
((triple12) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The lion does not visit the cat.
False
3
inv-proof
[(((triple14 triple13) -> rule6))]
("lion" "visits" "cat" "-")
((triple14 triple13) -> (rule6 % int1))
The lion visits the cat.
("lion" "visits" "cat" "+")
int1
The lion visits the lion.
True
4
proof
[(((((triple14 triple13) -> rule6)) -> rule7))]
("lion" "visits" "lion" "+")
((((triple14 triple13) -> (rule6 % int2))) -> (rule7 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion visits the cat.
("lion" "visits" "cat" "+")
int2
The cat eats the tiger.
False
4
inv-proof
[(((((triple14 triple13) -> rule6)) -> rule5))]
("cat" "eats" "tiger" "+")
((((triple14 triple13) -> (rule6 % int2))) -> (rule5 % int1))
The cat does not eat the tiger.
("cat" "eats" "tiger" "-")
int1
The lion visits the cat.
("lion" "visits" "cat" "+")
int2
The bald eagle does not eat the lion.
Unknown
inv-rconc
[@1: The bald eagle eats the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "eats" "lion" "-")
The tiger visits the lion.
Unknown
rconc
[@1: The tiger visits the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "visits" "lion" "+")
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "eats" "lion" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat sees the bald eagle.
Unknown
random
[@0: The cat sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bald eagle" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle visits the tiger.[(triple2)] The cat eats the lion.[(triple3)] The cat is big.[(triple4)] The cat sees the lion.[(triple5)] The cat visits the lion.[(triple6)] The lion does not eat the cat.[(triple7)] The lion is rough.[(triple8 OR ((triple6) -> rule3) OR ((((((triple14 triple13) -> rule6)) -> rule7)) -> rule3) OR ((((((triple12) -> rule1) triple4) -> rule2)) -> rule3))] The lion sees the tiger.[(triple9)] The lion visits the bald eagle.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger eats the cat.[(triple12)] The tiger eats the lion.[(triple13)] The tiger is cold.[(triple14)] The tiger sees the bald eagle.[(triple15)] @1: The cat visits the bald eagle.[(((triple12) -> rule1))] The lion visits the cat.[(((triple14 triple13) -> rule6))] @2: The bald eagle visits the lion.[(((((triple12) -> rule1) triple4) -> rule2))] The cat does not eat the tiger.[(((((triple14 triple13) -> rule6)) -> rule5))] The lion visits the lion.[(((((triple14 triple13) -> rule6)) -> rule7))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
The cat eats the lion.
("cat" "eats" "lion" "+")
triple3
The cat is big.
("cat" "is" "big" "+")
triple4
The cat sees the lion.
("cat" "sees" "lion" "+")
triple5
The cat visits the lion.
("cat" "visits" "lion" "+")
triple6
The lion does not eat the cat.
("lion" "eats" "cat" "-")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
((triple6) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((((((triple14 triple13) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion visits the cat.
("lion" "visits" "cat" "+")
int3
((((((triple12) -> (rule1 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple9
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple10
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple11
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple12
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple13
The tiger is cold.
("tiger" "is" "cold" "+")
triple14
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((triple12) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The lion visits the cat.
("lion" "visits" "cat" "+")
((triple14 triple13) -> (rule6 % int1))
The lion visits the cat.
("lion" "visits" "cat" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((((triple12) -> (rule1 % int2)) triple4) -> (rule2 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The cat does not eat the tiger.
("cat" "eats" "tiger" "-")
((((triple14 triple13) -> (rule6 % int2))) -> (rule5 % int1))
The cat does not eat the tiger.
("cat" "eats" "tiger" "-")
int1
The lion visits the cat.
("lion" "visits" "cat" "+")
int2
The lion visits the lion.
("lion" "visits" "lion" "+")
((((triple14 triple13) -> (rule6 % int2))) -> (rule7 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion visits the cat.
("lion" "visits" "cat" "+")
int2