The bald eagle chases the mouse. The bald eagle is young. The bald eagle needs the lion. The bald eagle needs the rabbit. The bald eagle visits the lion. The bald eagle visits the mouse. The lion chases the mouse. The lion visits the mouse. The mouse chases the bald eagle. The mouse is nice. The mouse is red. The mouse visits the lion. The rabbit chases the bald eagle. The rabbit needs the lion. The rabbit needs the mouse. The rabbit visits the bald eagle. If the bald eagle needs the lion then the lion needs the bald eagle. If someone is nice and they visit the lion then they visit the rabbit. If someone visits the bald eagle and the bald eagle chases the rabbit then the bald eagle is nice. If someone needs the rabbit and they need the mouse then the rabbit is nice. If the rabbit visits the bald eagle then the bald eagle chases the mouse. If someone chases the rabbit then the rabbit is cold. If someone visits the rabbit and they visit the lion then they need the mouse. If someone chases the mouse then they chase the rabbit.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If the bald eagle needs the lion then the lion needs the bald eagle.
((("bald eagle" "needs" "lion" "+")) -> ("lion" "needs" "bald eagle" "+"))
If someone is nice and they visit the lion then they visit the rabbit.
((("someone" "is" "nice" "+") ("someone" "visits" "lion" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone visits the bald eagle and the bald eagle chases the rabbit then the bald eagle is nice.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "chases" "rabbit" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone needs the rabbit and they need the mouse then the rabbit is nice.
((("someone" "needs" "rabbit" "+") ("someone" "needs" "mouse" "+")) -> ("rabbit" "is" "nice" "+"))
If the rabbit visits the bald eagle then the bald eagle chases the mouse.
((("rabbit" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If someone chases the rabbit then the rabbit is cold.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "is" "cold" "+"))
If someone visits the rabbit and they visit the lion then they need the mouse.
((("someone" "visits" "rabbit" "+") ("someone" "visits" "lion" "+")) -> ("someone" "needs" "mouse" "+"))
If someone chases the mouse then they chase the rabbit.
((("someone" "chases" "mouse" "+")) -> ("someone" "chases" "rabbit" "+"))
The bald eagle chases the mouse.
True
1
proof
[(triple1 OR ((triple16) -> rule5))]
("bald eagle" "chases" "mouse" "+")
triple1
((triple16) -> (rule5 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle does not visit the lion.
False
1
inv-proof
[(triple5)]
("bald eagle" "visits" "lion" "-")
triple5
The lion needs the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("lion" "needs" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion does not need the bald eagle.
False
2
inv-proof
[(((triple3) -> rule1))]
("lion" "needs" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The mouse needs the mouse.
True
5
proof
[(((((triple10 triple12) -> rule2) triple12) -> rule7))]
("mouse" "needs" "mouse" "+")
((((triple10 triple12) -> (rule2 % int2)) triple12) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
The mouse does not need the mouse.
False
5
inv-proof
[(((((triple10 triple12) -> rule2) triple12) -> rule7))]
("mouse" "needs" "mouse" "-")
((((triple10 triple12) -> (rule2 % int2)) triple12) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
The bald eagle visits the rabbit.
True
6
proof
[(((((triple16 ((triple1) -> rule8)) -> rule3) triple5) -> rule2) OR ((((triple16 ((((triple16) -> rule5)) -> rule8)) -> rule3) triple5) -> rule2))]
("bald eagle" "visits" "rabbit" "+")
((((triple16 ((triple1) -> (rule8 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
((((triple16 ((((triple16) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int4
The bald eagle does not visit the rabbit.
False
6
inv-proof
[(((((triple16 ((triple1) -> rule8)) -> rule3) triple5) -> rule2) OR ((((triple16 ((((triple16) -> rule5)) -> rule8)) -> rule3) triple5) -> rule2))]
("bald eagle" "visits" "rabbit" "-")
((((triple16 ((triple1) -> (rule8 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
((((triple16 ((((triple16) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int4
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The lion visits the rabbit.
Unknown
rconc
[@1: The lion visits the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "visits" "rabbit" "+")
The rabbit does not visit the rabbit.
Unknown
inv-rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "visits" "rabbit" "-")
The lion needs the mouse.
Unknown
rconc
[@1: The lion needs the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "needs" "mouse" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The bald eagle chases the mouse.[(triple1 OR ((triple16) -> rule5))] The bald eagle is young.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The bald eagle visits the lion.[(triple5)] The bald eagle visits the mouse.[(triple6)] The lion chases the mouse.[(triple7)] The lion visits the mouse.[(triple8)] The mouse chases the bald eagle.[(triple9)] The mouse is nice.[(triple10)] The mouse is red.[(triple11)] The mouse visits the lion.[(triple12)] The rabbit chases the bald eagle.[(triple13)] The rabbit needs the lion.[(triple14)] The rabbit needs the mouse.[(triple15)] The rabbit visits the bald eagle.[(triple16)] @1: The bald eagle chases the rabbit.[(((triple1) -> rule8) OR ((((triple16) -> rule5)) -> rule8))] The lion chases the rabbit.[(((triple7) -> rule8))] The lion needs the bald eagle.[(((triple3) -> rule1))] The mouse visits the rabbit.[(((triple10 triple12) -> rule2))] @2: The bald eagle is nice.[(((triple16 ((triple1) -> rule8)) -> rule3) OR ((triple16 ((((triple16) -> rule5)) -> rule8)) -> rule3))] The mouse needs the mouse.[(((((triple10 triple12) -> rule2) triple12) -> rule7))] The rabbit is cold.[(((((triple1) -> rule8)) -> rule6) OR ((((triple7) -> rule8)) -> rule6) OR ((((((triple16) -> rule5)) -> rule8)) -> rule6))] @3: The bald eagle visits the rabbit.[(((((triple16 ((triple1) -> rule8)) -> rule3) triple5) -> rule2) OR ((((triple16 ((((triple16) -> rule5)) -> rule8)) -> rule3) triple5) -> rule2))] @4: The bald eagle needs the mouse.[(((((((triple16 ((triple1) -> rule8)) -> rule3) triple5) -> rule2) triple5) -> rule7) OR ((((((triple16 ((((triple16) -> rule5)) -> rule8)) -> rule3) triple5) -> rule2) triple5) -> rule7))] @5: The rabbit is nice.[(((triple4 ((((((triple16 ((triple1) -> rule8)) -> rule3) triple5) -> rule2) triple5) -> rule7)) -> rule4) OR ((triple4 ((((((triple16 ((((triple16) -> rule5)) -> rule8)) -> rule3) triple5) -> rule2) triple5) -> rule7)) -> rule4))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
((triple16) -> (rule5 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple3
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple6
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple7
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple8
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple9
The mouse is nice.
("mouse" "is" "nice" "+")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple11
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple12
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple13
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple14
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple15
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple16
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((triple1) -> (rule8 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
((((triple16) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
((triple7) -> (rule8 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
((triple10 triple12) -> (rule2 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple16 ((triple1) -> (rule8 % int2))) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
((triple16 ((((triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((triple10 triple12) -> (rule2 % int2)) triple12) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
((((triple7) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
((((((triple16) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
((((triple16 ((triple1) -> (rule8 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
((((triple16 ((((triple16) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
((((((triple16 ((triple1) -> (rule8 % int4))) -> (rule3 % int3)) triple5) -> (rule2 % int2)) triple5) -> (rule7 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int4
((((((triple16 ((((triple16) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule3 % int3)) triple5) -> (rule2 % int2)) triple5) -> (rule7 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int4
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int5
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple4 ((((((triple16 ((triple1) -> (rule8 % int5))) -> (rule3 % int4)) triple5) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int5
((triple4 ((((((triple16 ((((triple16) -> (rule5 % int6))) -> (rule8 % int5))) -> (rule3 % int4)) triple5) -> (rule2 % int3)) triple5) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int5
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int6