The bald eagle is not rough. The bald eagle needs the rabbit. The bald eagle sees the rabbit. The lion does not chase the mouse. The lion needs the mouse. The lion needs the rabbit. The lion sees the mouse. The mouse is young. The rabbit chases the mouse. The rabbit is blue. The rabbit is rough. The rabbit does not need the lion. If the lion does not chase the rabbit then the lion is nice. If the rabbit needs the mouse then the rabbit is rough. If someone is blue and round then they chase the lion. If someone is blue then they chase the lion. If someone is young and they see the lion then they do not chase the lion. If someone sees the lion and the lion sees the mouse then the lion is blue. If someone is round and they need the bald eagle then the bald eagle is blue. If someone chases the lion then they see the lion.
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The lion does not chase the mouse.
("lion" "chases" "mouse" "-")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse is young.
("mouse" "is" "young" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
If the lion does not chase the rabbit then the lion is nice.
((("lion" "chases" "rabbit" "~")) -> ("lion" "is" "nice" "+"))
If the rabbit needs the mouse then the rabbit is rough.
((("rabbit" "needs" "mouse" "+")) -> ("rabbit" "is" "rough" "+"))
If someone is blue and round then they chase the lion.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "chases" "lion" "+"))
If someone is blue then they chase the lion.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "lion" "+"))
If someone is young and they see the lion then they do not chase the lion.
((("someone" "is" "young" "+") ("someone" "sees" "lion" "+")) -> ("someone" "chases" "lion" "-"))
If someone sees the lion and the lion sees the mouse then the lion is blue.
((("someone" "sees" "lion" "+") ("lion" "sees" "mouse" "+")) -> ("lion" "is" "blue" "+"))
If someone is round and they need the bald eagle then the bald eagle is blue.
((("someone" "is" "round" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone chases the lion then they see the lion.
((("someone" "chases" "lion" "+")) -> ("someone" "sees" "lion" "+"))
The bald eagle sees the rabbit.
True
1
proof
[(triple3)]
("bald eagle" "sees" "rabbit" "+")
triple3
The bald eagle does not need the rabbit.
False
1
inv-proof
[(triple2)]
("bald eagle" "needs" "rabbit" "-")
triple2
The rabbit chases the lion.
True
2
proof
[(((triple10) -> rule4))]
("rabbit" "chases" "lion" "+")
((triple10) -> (rule4 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The rabbit does not chase the lion.
False
2
inv-proof
[(((triple10) -> rule4))]
("rabbit" "chases" "lion" "-")
((triple10) -> (rule4 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The rabbit sees the lion.
True
3
proof
[(((((triple10) -> rule4)) -> rule8))]
("rabbit" "sees" "lion" "+")
((((triple10) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int2
The rabbit does not see the lion.
False
3
inv-proof
[(((((triple10) -> rule4)) -> rule8))]
("rabbit" "sees" "lion" "-")
((((triple10) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int2
The lion is blue.
True
5
proof
[(((((((triple10) -> rule4)) -> rule8) triple7) -> rule6))]
("lion" "is" "blue" "+")
((((((triple10) -> (rule4 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int3
The lion is not blue.
False
5
inv-proof
[(((((((triple10) -> rule4)) -> rule8) triple7) -> rule6))]
("lion" "is" "blue" "-")
((((((triple10) -> (rule4 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int3
The lion chases the lion.
True
6
proof
[(((((((((triple10) -> rule4)) -> rule8) triple7) -> rule6)) -> rule4))]
("lion" "chases" "lion" "+")
((((((((triple10) -> (rule4 % int4))) -> (rule8 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int4
The lion does not chase the lion.
False
6
inv-proof
[(((((((((triple10) -> rule4)) -> rule8) triple7) -> rule6)) -> rule4))]
("lion" "chases" "lion" "-")
((((((((triple10) -> (rule4 % int4))) -> (rule8 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int4
The lion sees the lion.
True
7
proof
[(((((((((((triple10) -> rule4)) -> rule8) triple7) -> rule6)) -> rule4)) -> rule8))]
("lion" "sees" "lion" "+")
((((((((((triple10) -> (rule4 % int5))) -> (rule8 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int5
The lion does not see the lion.
False
7
inv-proof
[(((((((((((triple10) -> rule4)) -> rule8) triple7) -> rule6)) -> rule4)) -> rule8))]
("lion" "sees" "lion" "-")
((((((((((triple10) -> (rule4 % int5))) -> (rule8 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int5
The mouse does not see the lion.
Unknown
inv-rconc
[@2: The mouse sees the lion.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("mouse" "sees" "lion" "-")
The lion is nice.
Unknown
rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "nice" "+")
The bald eagle does not chase the lion.
Unknown
inv-rconc
[@2: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("bald eagle" "chases" "lion" "-")
The bald eagle sees the lion.
Unknown
rconc
[@3: The bald eagle sees the lion.[CWA. Example of deepest failure = (rule8 <- rule4 <- rule7 <- FAIL)]]
("bald eagle" "sees" "lion" "+")
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The mouse chases the lion.
Unknown
rconc
[@1: The mouse chases the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "chases" "lion" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit needs the mouse.
Unknown
random
[@0: The rabbit needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "mouse" "+")
The rabbit does not see the mouse.
Unknown
inv-random
[@0: The rabbit sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "mouse" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
The bald eagle does not chase the rabbit.
Unknown
inv-random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "-")
The mouse needs the rabbit.
Unknown
random
[@0: The mouse needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "rabbit" "+")
@0: The bald eagle is not rough.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The lion does not chase the mouse.[(triple4)] The lion needs the mouse.[(triple5)] The lion needs the rabbit.[(triple6)] The lion sees the mouse.[(triple7)] The mouse is young.[(triple8)] The rabbit chases the mouse.[(triple9)] The rabbit does not need the lion.[(triple12)] The rabbit is blue.[(triple10)] The rabbit is rough.[(triple11)] @1: The rabbit chases the lion.[(((triple10) -> rule4))] @2: The rabbit sees the lion.[(((((triple10) -> rule4)) -> rule8))] @3: The lion is blue.[(((((((triple10) -> rule4)) -> rule8) triple7) -> rule6))] @4: The lion chases the lion.[(((((((((triple10) -> rule4)) -> rule8) triple7) -> rule6)) -> rule4))] @5: The lion sees the lion.[(((((((((((triple10) -> rule4)) -> rule8) triple7) -> rule6)) -> rule4)) -> rule8))]
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
The lion does not chase the mouse.
("lion" "chases" "mouse" "-")
triple4
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple5
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple6
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple7
The mouse is young.
("mouse" "is" "young" "+")
triple8
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple9
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
triple12
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
((triple10) -> (rule4 % int1))
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
((((triple10) -> (rule4 % int2))) -> (rule8 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
((((((triple10) -> (rule4 % int3))) -> (rule8 % int2)) triple7) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int3
The lion chases the lion.
("lion" "chases" "lion" "+")
((((((((triple10) -> (rule4 % int4))) -> (rule8 % int3)) triple7) -> (rule6 % int2))) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int4
The lion sees the lion.
("lion" "sees" "lion" "+")
((((((((((triple10) -> (rule4 % int5))) -> (rule8 % int4)) triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int4
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
int5