The bald eagle likes the cat. The bald eagle visits the cat. The cat is round. The rabbit likes the cat. The squirrel is young. The squirrel likes the cat. The squirrel needs the cat. If the rabbit is kind then the rabbit likes the cat. If someone is young then they like the squirrel. If someone is nice and they do not visit the cat then they like the rabbit. If someone likes the rabbit then they visit the rabbit. If someone needs the bald eagle then the bald eagle is young. If someone likes the cat then they are nice. If someone is young and they like the squirrel then they need the bald eagle.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat is round.
("cat" "is" "round" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
If the rabbit is kind then the rabbit likes the cat.
((("rabbit" "is" "kind" "+")) -> ("rabbit" "likes" "cat" "+"))
If someone is young then they like the squirrel.
((("someone" "is" "young" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone is nice and they do not visit the cat then they like the rabbit.
((("someone" "is" "nice" "+") ("someone" "visits" "cat" "~")) -> ("someone" "likes" "rabbit" "+"))
If someone likes the rabbit then they visit the rabbit.
((("someone" "likes" "rabbit" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone needs the bald eagle then the bald eagle is young.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If someone likes the cat then they are nice.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and they like the squirrel then they need the bald eagle.
((("someone" "is" "young" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "needs" "bald eagle" "+"))
The rabbit likes the cat.
True
1
proof
[(triple4)]
("rabbit" "likes" "cat" "+")
triple4
The rabbit does not like the cat.
False
1
inv-proof
[(triple4)]
("rabbit" "likes" "cat" "-")
triple4
The rabbit is nice.
True
2
proof
[(((triple4) -> rule6))]
("rabbit" "is" "nice" "+")
((triple4) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple1) -> rule6))]
("bald eagle" "is" "nice" "-")
((triple1) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The squirrel needs the bald eagle.
True
4
proof
[(((triple5 ((triple5) -> rule2)) -> rule7))]
("squirrel" "needs" "bald eagle" "+")
((triple5 ((triple5) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel does not need the bald eagle.
False
4
inv-proof
[(((triple5 ((triple5) -> rule2)) -> rule7))]
("squirrel" "needs" "bald eagle" "-")
((triple5 ((triple5) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The bald eagle is young.
True
5
proof
[(((((triple5 ((triple5) -> rule2)) -> rule7)) -> rule5))]
("bald eagle" "is" "young" "+")
((((triple5 ((triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The bald eagle is not young.
False
5
inv-proof
[(((((triple5 ((triple5) -> rule2)) -> rule7)) -> rule5))]
("bald eagle" "is" "young" "-")
((((triple5 ((triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The bald eagle likes the squirrel.
True
6
proof
[(((((((triple5 ((triple5) -> rule2)) -> rule7)) -> rule5)) -> rule2))]
("bald eagle" "likes" "squirrel" "+")
((((((triple5 ((triple5) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The bald eagle does not like the squirrel.
False
6
inv-proof
[(((((((triple5 ((triple5) -> rule2)) -> rule7)) -> rule5)) -> rule2))]
("bald eagle" "likes" "squirrel" "-")
((((((triple5 ((triple5) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The bald eagle needs the bald eagle.
True
12
proof
[(((((((triple5 ((triple5) -> rule2)) -> rule7)) -> rule5) ((((((triple5 ((triple5) -> rule2)) -> rule7)) -> rule5)) -> rule2)) -> rule7))]
("bald eagle" "needs" "bald eagle" "+")
((((((triple5 ((triple5) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((((triple5 ((triple5) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int5
The bald eagle does not need the bald eagle.
False
12
inv-proof
[(((((((triple5 ((triple5) -> rule2)) -> rule7)) -> rule5) ((((((triple5 ((triple5) -> rule2)) -> rule7)) -> rule5)) -> rule2)) -> rule7))]
("bald eagle" "needs" "bald eagle" "-")
((((((triple5 ((triple5) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((((triple5 ((triple5) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int5
The cat does not need the bald eagle.
Unknown
inv-rconc
[@1: The cat needs the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "needs" "bald eagle" "-")
The cat likes the squirrel.
Unknown
rconc
[@1: The cat likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "likes" "squirrel" "+")
The cat does not like the rabbit.
Unknown
inv-rconc
[@1: The cat likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "rabbit" "-")
The rabbit likes the rabbit.
Unknown
rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "rabbit" "+")
The bald eagle does not like the rabbit.
Unknown
inv-rconc
[@1: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The rabbit needs the bald eagle.
Unknown
rconc
[@1: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "needs" "bald eagle" "+")
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 rabbit likes the bald eagle.
Unknown
random
[@0: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bald eagle" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The cat visits the bald eagle.
Unknown
random
[@0: The cat visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bald eagle" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The rabbit needs the squirrel.
Unknown
random
[@0: The rabbit needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "squirrel" "+")
@0: The bald eagle likes the cat.[(triple1)] The bald eagle visits the cat.[(triple2)] The cat is round.[(triple3)] The rabbit likes the cat.[(triple4)] The squirrel is young.[(triple5)] The squirrel likes the cat.[(triple6)] The squirrel needs the cat.[(triple7)] @1: The bald eagle is nice.[(((triple1) -> rule6))] The rabbit is nice.[(((triple4) -> rule6))] The squirrel is nice.[(((triple6) -> rule6))] The squirrel likes the squirrel.[(((triple5) -> rule2))] @2: The squirrel needs the bald eagle.[(((triple5 ((triple5) -> rule2)) -> rule7))] @3: The bald eagle is young.[(((((triple5 ((triple5) -> rule2)) -> rule7)) -> rule5))] @4: The bald eagle likes the squirrel.[(((((((triple5 ((triple5) -> rule2)) -> rule7)) -> rule5)) -> rule2))] @5: The bald eagle needs the bald eagle.[(((((((triple5 ((triple5) -> rule2)) -> rule7)) -> rule5) ((((((triple5 ((triple5) -> rule2)) -> rule7)) -> rule5)) -> rule2)) -> rule7))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple6
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple1) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple4) -> (rule6 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple6) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple5) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((triple5 ((triple5) -> (rule2 % int2))) -> (rule7 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
((((triple5 ((triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((((((triple5 ((triple5) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((((triple5 ((triple5) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((((((triple5 ((triple5) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int5