The bald eagle eats the cow. The bald eagle is young. The bald eagle needs the cat. The bald eagle sees the rabbit. The cat eats the cow. The cat eats the rabbit. The cat is cold. The cat is round. The cat sees the cow. The cow is cold. The cow needs the bald eagle. The rabbit eats the cow. The rabbit is kind. The rabbit needs the bald eagle. If someone needs the cow then they need the rabbit. If the cat eats the rabbit then the cat is kind. If someone sees the cow and they eat the rabbit then the rabbit needs the cow. If someone needs the rabbit then they are round. If the cow needs the cat then the cat needs the rabbit. If someone is round then they see the bald eagle. If someone is blue and they need the bald eagle then they are kind. If the rabbit sees the cat then the cat sees the cow. If someone sees the bald eagle and the bald eagle is young then they are young.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If someone needs the cow then they need the rabbit.
((("someone" "needs" "cow" "+")) -> ("someone" "needs" "rabbit" "+"))
If the cat eats the rabbit then the cat is kind.
((("cat" "eats" "rabbit" "+")) -> ("cat" "is" "kind" "+"))
If someone sees the cow and they eat the rabbit then the rabbit needs the cow.
((("someone" "sees" "cow" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "needs" "cow" "+"))
If someone needs the rabbit then they are round.
((("someone" "needs" "rabbit" "+")) -> ("someone" "is" "round" "+"))
If the cow needs the cat then the cat needs the rabbit.
((("cow" "needs" "cat" "+")) -> ("cat" "needs" "rabbit" "+"))
If someone is round then they see the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is blue and they need the bald eagle then they are kind.
((("someone" "is" "blue" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "kind" "+"))
If the rabbit sees the cat then the cat sees the cow.
((("rabbit" "sees" "cat" "+")) -> ("cat" "sees" "cow" "+"))
If someone sees the bald eagle and the bald eagle is young then they are young.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("someone" "is" "young" "+"))
The cat is round.
True
1
proof
[(triple8)]
("cat" "is" "round" "+")
triple8
The rabbit does not need the bald eagle.
False
1
inv-proof
[(triple14)]
("rabbit" "needs" "bald eagle" "-")
triple14
The cat sees the bald eagle.
True
2
proof
[(((triple8) -> rule6))]
("cat" "sees" "bald eagle" "+")
((triple8) -> (rule6 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat does not see the bald eagle.
False
2
inv-proof
[(((triple8) -> rule6))]
("cat" "sees" "bald eagle" "-")
((triple8) -> (rule6 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat is young.
True
4
proof
[(((((triple8) -> rule6) triple2) -> rule9))]
("cat" "is" "young" "+")
((((triple8) -> (rule6 % int2)) triple2) -> (rule9 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The rabbit does not need the rabbit.
False
4
inv-proof
[(((((triple9 triple6) -> rule3)) -> rule1))]
("rabbit" "needs" "rabbit" "-")
((((triple9 triple6) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
The rabbit is round.
True
5
proof
[(((((((triple9 triple6) -> rule3)) -> rule1)) -> rule4))]
("rabbit" "is" "round" "+")
((((((triple9 triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
The rabbit is not round.
False
5
inv-proof
[(((((((triple9 triple6) -> rule3)) -> rule1)) -> rule4))]
("rabbit" "is" "round" "-")
((((((triple9 triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
The rabbit sees the bald eagle.
True
6
proof
[(((((((((triple9 triple6) -> rule3)) -> rule1)) -> rule4)) -> rule6))]
("rabbit" "sees" "bald eagle" "+")
((((((((triple9 triple6) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
The rabbit does not see the bald eagle.
False
6
inv-proof
[(((((((((triple9 triple6) -> rule3)) -> rule1)) -> rule4)) -> rule6))]
("rabbit" "sees" "bald eagle" "-")
((((((((triple9 triple6) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
The rabbit is young.
True
8
proof
[(((((((((((triple9 triple6) -> rule3)) -> rule1)) -> rule4)) -> rule6) triple2) -> rule9))]
("rabbit" "is" "young" "+")
((((((((((triple9 triple6) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple2) -> (rule9 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
The rabbit is not young.
False
8
inv-proof
[(((((((((((triple9 triple6) -> rule3)) -> rule1)) -> rule4)) -> rule6) triple2) -> rule9))]
("rabbit" "is" "young" "-")
((((((((((triple9 triple6) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple2) -> (rule9 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
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 cat needs the rabbit.
Unknown
rconc
[@1: The cat needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "rabbit" "+")
The cow does not see the bald eagle.
Unknown
inv-rconc
[@3: The cow sees the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule1 <- FAIL)]]
("cow" "sees" "bald eagle" "-")
The bald eagle is round.
Unknown
rconc
[@2: The bald eagle is round.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("bald eagle" "is" "round" "+")
The bald eagle does not need the rabbit.
Unknown
inv-rconc
[@1: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "rabbit" "-")
The cow is round.
Unknown
rconc
[@2: The cow is round.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("cow" "is" "round" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The rabbit eats the cat.
Unknown
random
[@0: The rabbit eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cat" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The cow does not see the cat.
Unknown
inv-random
[@0: The cow sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cat" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The cat eats the cow.[(triple5)] The cat eats the rabbit.[(triple6)] The cat is cold.[(triple7)] The cat is round.[(triple8)] The cat sees the cow.[(triple9)] The cow is cold.[(triple10)] The cow needs the bald eagle.[(triple11)] The rabbit eats the cow.[(triple12)] The rabbit is kind.[(triple13)] The rabbit needs the bald eagle.[(triple14)] @1: The cat is kind.[(((triple6) -> rule2))] The cat sees the bald eagle.[(((triple8) -> rule6))] The rabbit needs the cow.[(((triple9 triple6) -> rule3))] @2: The cat is young.[(((((triple8) -> rule6) triple2) -> rule9))] The rabbit needs the rabbit.[(((((triple9 triple6) -> rule3)) -> rule1))] @3: The rabbit is round.[(((((((triple9 triple6) -> rule3)) -> rule1)) -> rule4))] @4: The rabbit sees the bald eagle.[(((((((((triple9 triple6) -> rule3)) -> rule1)) -> rule4)) -> rule6))] @5: The rabbit is young.[(((((((((((triple9 triple6) -> rule3)) -> rule1)) -> rule4)) -> rule6) triple2) -> rule9))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple4
The cat eats the cow.
("cat" "eats" "cow" "+")
triple5
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple6
The cat is cold.
("cat" "is" "cold" "+")
triple7
The cat is round.
("cat" "is" "round" "+")
triple8
The cat sees the cow.
("cat" "sees" "cow" "+")
triple9
The cow is cold.
("cow" "is" "cold" "+")
triple10
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple11
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple12
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple13
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple14
The cat is kind.
("cat" "is" "kind" "+")
((triple6) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
((triple8) -> (rule6 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
((triple9 triple6) -> (rule3 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((((triple8) -> (rule6 % int2)) triple2) -> (rule9 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((((triple9 triple6) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
((((((triple9 triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((((((((triple9 triple6) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
The rabbit is young.
("rabbit" "is" "young" "+")
((((((((((triple9 triple6) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple2) -> (rule9 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5