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