The bald eagle is red. The bald eagle likes the mouse. The bald eagle needs the mouse. The bald eagle visits the rabbit. The lion is kind. The lion is rough. The lion needs the mouse. The mouse is rough. The mouse likes the bald eagle. The mouse does not like the lion. The mouse does not like the rabbit. The mouse needs the rabbit. The rabbit likes the mouse. The rabbit needs the bald eagle. The rabbit visits the bald eagle. The rabbit visits the mouse. If something visits the rabbit and the rabbit needs the lion then the lion needs the bald eagle. If something likes the bald eagle and it likes the mouse then the mouse is blue. If something needs the bald eagle then the bald eagle does not need the rabbit. If something is kind and it needs the lion then the lion does not need the rabbit. If the mouse needs the bald eagle and the bald eagle likes the lion then the mouse visits the rabbit. If something needs the lion and it is not red then the lion does not visit the mouse. If something needs the bald eagle then it needs the lion. If the lion does not need the rabbit then the lion does not visit the bald eagle.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If something visits the rabbit and the rabbit needs the lion then the lion needs the bald eagle.
((("something" "visits" "rabbit" "+") ("rabbit" "needs" "lion" "+")) -> ("lion" "needs" "bald eagle" "+"))
If something likes the bald eagle and it likes the mouse then the mouse is blue.
((("something" "likes" "bald eagle" "+") ("something" "likes" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If something needs the bald eagle then the bald eagle does not need the rabbit.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "rabbit" "-"))
If something is kind and it needs the lion then the lion does not need the rabbit.
((("something" "is" "kind" "+") ("something" "needs" "lion" "+")) -> ("lion" "needs" "rabbit" "-"))
If the mouse needs the bald eagle and the bald eagle likes the lion then the mouse visits the rabbit.
((("mouse" "needs" "bald eagle" "+") ("bald eagle" "likes" "lion" "+")) -> ("mouse" "visits" "rabbit" "+"))
If something needs the lion and it is not red then the lion does not visit the mouse.
((("something" "needs" "lion" "+") ("something" "is" "red" "~")) -> ("lion" "visits" "mouse" "-"))
If something needs the bald eagle then it needs the lion.
((("something" "needs" "bald eagle" "+")) -> ("something" "needs" "lion" "+"))
If the lion does not need the rabbit then the lion does not visit the bald eagle.
((("lion" "needs" "rabbit" "~")) -> ("lion" "visits" "bald eagle" "-"))
The mouse is rough.
True
1
proof
[(triple8)]
("mouse" "is" "rough" "+")
triple8
The mouse does not like the bald eagle.
False
1
inv-proof
[(triple9)]
("mouse" "likes" "bald eagle" "-")
triple9
The bald eagle does not need the rabbit.
True
2
proof
[(((triple14) -> rule3) OR ((((triple4 ((triple14) -> rule7)) -> rule1)) -> rule3))]
("bald eagle" "needs" "rabbit" "-")
((triple14) -> (rule3 % int1))
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
int1
((((triple4 ((triple14) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The rabbit does not need the lion.
False
2
inv-proof
[(((triple14) -> rule7))]
("rabbit" "needs" "lion" "-")
((triple14) -> (rule7 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The lion needs the bald eagle.
True
4
proof
[(((triple4 ((triple14) -> rule7)) -> rule1))]
("lion" "needs" "bald eagle" "+")
((triple4 ((triple14) -> (rule7 % int2))) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int2
The lion does not need the bald eagle.
False
4
inv-proof
[(((triple4 ((triple14) -> rule7)) -> rule1))]
("lion" "needs" "bald eagle" "-")
((triple4 ((triple14) -> (rule7 % int2))) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int2
The lion needs the lion.
True
5
proof
[(((((triple4 ((triple14) -> rule7)) -> rule1)) -> rule7))]
("lion" "needs" "lion" "+")
((((triple4 ((triple14) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The lion does not need the lion.
False
5
inv-proof
[(((((triple4 ((triple14) -> rule7)) -> rule1)) -> rule7))]
("lion" "needs" "lion" "-")
((((triple4 ((triple14) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The lion does not need the rabbit.
True
7
proof
[(((triple5 ((((triple4 ((triple14) -> rule7)) -> rule1)) -> rule7)) -> rule4))]
("lion" "needs" "rabbit" "-")
((triple5 ((((triple4 ((triple14) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
The lion needs the rabbit.
False
7
inv-proof
[(((triple5 ((((triple4 ((triple14) -> rule7)) -> rule1)) -> rule7)) -> rule4))]
("lion" "needs" "rabbit" "+")
((triple5 ((((triple4 ((triple14) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
The lion does not visit the bald eagle.
True
8
proof
[(((((triple5 ((((triple4 ((triple14) -> rule7)) -> rule1)) -> rule7)) -> rule4)) -> rule8))]
("lion" "visits" "bald eagle" "-")
((((triple5 ((((triple4 ((triple14) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
int1
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
int2
The lion needs the lion.
("lion" "needs" "lion" "+")
int3
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The lion visits the bald eagle.
False
8
inv-proof
[(((((triple5 ((((triple4 ((triple14) -> rule7)) -> rule1)) -> rule7)) -> rule4)) -> rule8))]
("lion" "visits" "bald eagle" "+")
((((triple5 ((((triple4 ((triple14) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
int1
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
int2
The lion needs the lion.
("lion" "needs" "lion" "+")
int3
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "blue" "-")
The mouse needs the lion.
Unknown
rconc
[@1: The mouse needs the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "needs" "lion" "+")
The bald eagle does not need the lion.
Unknown
inv-rconc
[@1: The bald eagle needs the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "needs" "lion" "-")
The mouse visits the rabbit.
Unknown
rconc
[@1: The mouse visits the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "visits" "rabbit" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The mouse visits the bald eagle.
Unknown
random
[@0: The mouse visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bald eagle" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
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 is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
The mouse does not need the bald eagle.
Unknown
inv-random
[@0: The mouse needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The lion is kind.[(triple5)] The lion is rough.[(triple6)] The lion needs the mouse.[(triple7)] The mouse does not like the lion.[(triple10)] The mouse does not like the rabbit.[(triple11)] The mouse is rough.[(triple8)] The mouse likes the bald eagle.[(triple9)] The mouse needs the rabbit.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit needs the bald eagle.[(triple14)] The rabbit visits the bald eagle.[(triple15)] The rabbit visits the mouse.[(triple16)] @1: The bald eagle does not need the rabbit.[(((triple14) -> rule3) OR ((((triple4 ((triple14) -> rule7)) -> rule1)) -> rule3))] The rabbit needs the lion.[(((triple14) -> rule7))] @2: The lion needs the bald eagle.[(((triple4 ((triple14) -> rule7)) -> rule1))] @3: The lion needs the lion.[(((((triple4 ((triple14) -> rule7)) -> rule1)) -> rule7))] @4: The lion does not need the rabbit.[(((triple5 ((((triple4 ((triple14) -> rule7)) -> rule1)) -> rule7)) -> rule4))] @5: The lion does not visit the bald eagle.[(((((triple5 ((((triple4 ((triple14) -> rule7)) -> rule1)) -> rule7)) -> rule4)) -> rule8))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple7
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
triple10
The mouse does not like the rabbit.
("mouse" "likes" "rabbit" "-")
triple11
The mouse is rough.
("mouse" "is" "rough" "+")
triple8
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple9
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple12
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple13
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple14
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple15
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple16
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
((triple14) -> (rule3 % int1))
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
int1
((((triple4 ((triple14) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
((triple14) -> (rule7 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
((triple4 ((triple14) -> (rule7 % int2))) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int2
The lion needs the lion.
("lion" "needs" "lion" "+")
((((triple4 ((triple14) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int3
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
((triple5 ((((triple4 ((triple14) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int4
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
((((triple5 ((((triple4 ((triple14) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The lion does not visit the bald eagle.
("lion" "visits" "bald eagle" "-")
int1
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
int2
The lion needs the lion.
("lion" "needs" "lion" "+")
int3
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int4
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int5