The bald eagle is cold. The bald eagle is young. The bald eagle needs the cow. The bald eagle needs the lion. The bald eagle sees the cat. The cat needs the cow. The cow eats the lion. The cow sees the bald eagle. The lion eats the bald eagle. The lion eats the cow. The lion needs the bald eagle. The lion needs the cat. Young things are nice. If something eats the bald eagle then the bald eagle needs the cat. If something sees the cat and it needs the cat then it eats the cat. All nice things are kind. If something sees the lion then the lion is nice. If something eats the lion then it needs the bald eagle. If the bald eagle sees the cat then the bald eagle eats the cow. If something is red and cold then it needs the lion. If something eats the cat then the cat sees the lion.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
Young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something eats the bald eagle then the bald eagle needs the cat.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If something sees the cat and it needs the cat then it eats the cat.
((("something" "sees" "cat" "+") ("something" "needs" "cat" "+")) -> ("something" "eats" "cat" "+"))
All nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something sees the lion then the lion is nice.
((("something" "sees" "lion" "+")) -> ("lion" "is" "nice" "+"))
If something eats the lion then it needs the bald eagle.
((("something" "eats" "lion" "+")) -> ("something" "needs" "bald eagle" "+"))
If the bald eagle sees the cat then the bald eagle eats the cow.
((("bald eagle" "sees" "cat" "+")) -> ("bald eagle" "eats" "cow" "+"))
If something is red and cold then it needs the lion.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "needs" "lion" "+"))
If something eats the cat then the cat sees the lion.
((("something" "eats" "cat" "+")) -> ("cat" "sees" "lion" "+"))
The cat needs the cow.
True
1
proof
[(triple6)]
("cat" "needs" "cow" "+")
triple6
The lion does not need the cat.
False
1
inv-proof
[(triple12)]
("lion" "needs" "cat" "-")
triple12
The bald eagle is nice.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "is" "nice" "+")
((triple2) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "is" "nice" "-")
((triple2) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle eats the cat.
True
4
proof
[(((triple5 ((triple9) -> rule2)) -> rule3))]
("bald eagle" "eats" "cat" "+")
((triple5 ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The bald eagle is not kind.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule4))]
("bald eagle" "is" "kind" "-")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The cat sees the lion.
True
5
proof
[(((((triple5 ((triple9) -> rule2)) -> rule3)) -> rule9))]
("cat" "sees" "lion" "+")
((((triple5 ((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int3
The cat does not see the lion.
False
5
inv-proof
[(((((triple5 ((triple9) -> rule2)) -> rule3)) -> rule9))]
("cat" "sees" "lion" "-")
((((triple5 ((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int3
The lion is nice.
True
6
proof
[(((((((triple5 ((triple9) -> rule2)) -> rule3)) -> rule9)) -> rule5))]
("lion" "is" "nice" "+")
((((((triple5 ((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The cat sees the lion.
("cat" "sees" "lion" "+")
int2
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int4
The lion is not nice.
False
6
inv-proof
[(((((((triple5 ((triple9) -> rule2)) -> rule3)) -> rule9)) -> rule5))]
("lion" "is" "nice" "-")
((((((triple5 ((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The cat sees the lion.
("cat" "sees" "lion" "+")
int2
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int4
The lion is kind.
True
7
proof
[(((((((((triple5 ((triple9) -> rule2)) -> rule3)) -> rule9)) -> rule5)) -> rule4))]
("lion" "is" "kind" "+")
((((((((triple5 ((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The cat sees the lion.
("cat" "sees" "lion" "+")
int3
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int4
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int5
The lion is not kind.
False
7
inv-proof
[(((((((((triple5 ((triple9) -> rule2)) -> rule3)) -> rule9)) -> rule5)) -> rule4))]
("lion" "is" "kind" "-")
((((((((triple5 ((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The cat sees the lion.
("cat" "sees" "lion" "+")
int3
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int4
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int5
The cow does not need the lion.
Unknown
inv-rconc
[@1: The cow needs the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "needs" "lion" "-")
The lion needs the lion.
Unknown
rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "needs" "lion" "+")
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "eats" "cat" "-")
The cat is kind.
Unknown
rconc
[@2: The cat is kind.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("cat" "is" "kind" "+")
The lion does not eat the cat.
Unknown
inv-rconc
[@1: The lion eats the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "cat" "-")
The cow is nice.
Unknown
rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "nice" "+")
The cat does not eat the lion.
Unknown
inv-random
[@0: The cat eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "lion" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the cow.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle sees the cat.[(triple5)] The cat needs the cow.[(triple6)] The cow eats the lion.[(triple7)] The cow sees the bald eagle.[(triple8)] The lion eats the bald eagle.[(triple9)] The lion eats the cow.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion needs the cat.[(triple12)] @1: The bald eagle eats the cow.[(((triple5) -> rule7))] The bald eagle is nice.[(((triple2) -> rule1))] The bald eagle needs the cat.[(((triple9) -> rule2))] The cow needs the bald eagle.[(((triple7) -> rule6))] @2: The bald eagle eats the cat.[(((triple5 ((triple9) -> rule2)) -> rule3))] The bald eagle is kind.[(((((triple2) -> rule1)) -> rule4))] @3: The cat sees the lion.[(((((triple5 ((triple9) -> rule2)) -> rule3)) -> rule9))] @4: The lion is nice.[(((((((triple5 ((triple9) -> rule2)) -> rule3)) -> rule9)) -> rule5))] @5: The lion is kind.[(((((((((triple5 ((triple9) -> rule2)) -> rule3)) -> rule9)) -> rule5)) -> rule4))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple5
The cat needs the cow.
("cat" "needs" "cow" "+")
triple6
The cow eats the lion.
("cow" "eats" "lion" "+")
triple7
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple8
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple9
The lion eats the cow.
("lion" "eats" "cow" "+")
triple10
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple11
The lion needs the cat.
("lion" "needs" "cat" "+")
triple12
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
((triple5) -> (rule7 % int1))
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple2) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((triple9) -> (rule2 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((triple7) -> (rule6 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
((triple5 ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The cat sees the lion.
("cat" "sees" "lion" "+")
((((triple5 ((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The cat sees the lion.
("cat" "sees" "lion" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
((((((triple5 ((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The cat sees the lion.
("cat" "sees" "lion" "+")
int2
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int4
The lion is kind.
("lion" "is" "kind" "+")
((((((((triple5 ((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The cat sees the lion.
("cat" "sees" "lion" "+")
int3
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int4
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int5