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