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