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