The bald eagle sees the bear. The bear is red. The bear is round. The bear likes the cow. The bear needs the cow. The cow is rough. The cow likes the bald eagle. The cow likes the bear. The cow needs the bear. The lion likes the cow. The lion needs the bear. If something sees the cow and the cow is kind then it likes the bear. If something is red then it sees the bald eagle. If something sees the bear and the bear likes the bald eagle then the bald eagle sees the lion. If something sees the bald eagle and it is round then it sees the lion. If something likes the bear and the bear is kind then it needs the lion. If something needs the bear then it is kind. If something sees the lion then it sees the cow. If something likes the bear and it is round then it likes the bald eagle. If something needs the cow and it likes the bald eagle then it is red.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If something sees the cow and the cow is kind then it likes the bear.
((("something" "sees" "cow" "+") ("cow" "is" "kind" "+")) -> ("something" "likes" "bear" "+"))
If something is red then it sees the bald eagle.
((("something" "is" "red" "+")) -> ("something" "sees" "bald eagle" "+"))
If something sees the bear and the bear likes the bald eagle then the bald eagle sees the lion.
((("something" "sees" "bear" "+") ("bear" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "lion" "+"))
If something sees the bald eagle and it is round then it sees the lion.
((("something" "sees" "bald eagle" "+") ("something" "is" "round" "+")) -> ("something" "sees" "lion" "+"))
If something likes the bear and the bear is kind then it needs the lion.
((("something" "likes" "bear" "+") ("bear" "is" "kind" "+")) -> ("something" "needs" "lion" "+"))
If something needs the bear then it is kind.
((("something" "needs" "bear" "+")) -> ("something" "is" "kind" "+"))
If something sees the lion then it sees the cow.
((("something" "sees" "lion" "+")) -> ("something" "sees" "cow" "+"))
If something likes the bear and it is round then it likes the bald eagle.
((("something" "likes" "bear" "+") ("something" "is" "round" "+")) -> ("something" "likes" "bald eagle" "+"))
If something needs the cow and it likes the bald eagle then it is red.
((("something" "needs" "cow" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "is" "red" "+"))
The bear is red.
True
1
proof
[(triple2)]
("bear" "is" "red" "+")
triple2
The bear is not round.
False
1
inv-proof
[(triple3)]
("bear" "is" "round" "-")
triple3
The cow is kind.
True
2
proof
[(((triple9) -> rule6))]
("cow" "is" "kind" "+")
((triple9) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The bear does not see the bald eagle.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "sees" "bald eagle" "-")
((triple2) -> (rule2 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear sees the lion.
True
4
proof
[(((((triple2) -> rule2) triple3) -> rule4))]
("bear" "sees" "lion" "+")
((((triple2) -> (rule2 % int2)) triple3) -> (rule4 % int1))
The bear sees the lion.
("bear" "sees" "lion" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear does not see the lion.
False
4
inv-proof
[(((((triple2) -> rule2) triple3) -> rule4))]
("bear" "sees" "lion" "-")
((((triple2) -> (rule2 % int2)) triple3) -> (rule4 % int1))
The bear sees the lion.
("bear" "sees" "lion" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear sees the cow.
True
5
proof
[(((((((triple2) -> rule2) triple3) -> rule4)) -> rule7))]
("bear" "sees" "cow" "+")
((((((triple2) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule7 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bear does not see the cow.
False
5
inv-proof
[(((((((triple2) -> rule2) triple3) -> rule4)) -> rule7))]
("bear" "sees" "cow" "-")
((((((triple2) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule7 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bear likes the bear.
True
8
proof
[(((((((((triple2) -> rule2) triple3) -> rule4)) -> rule7) ((triple9) -> rule6)) -> rule1))]
("bear" "likes" "bear" "+")
((((((((triple2) -> (rule2 % int5)) triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The bear sees the cow.
("bear" "sees" "cow" "+")
int3
The bear sees the lion.
("bear" "sees" "lion" "+")
int4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int5
The bear does not like the bear.
False
8
inv-proof
[(((((((((triple2) -> rule2) triple3) -> rule4)) -> rule7) ((triple9) -> rule6)) -> rule1))]
("bear" "likes" "bear" "-")
((((((((triple2) -> (rule2 % int5)) triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The bear sees the cow.
("bear" "sees" "cow" "+")
int3
The bear sees the lion.
("bear" "sees" "lion" "+")
int4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int5
The bear likes the bald eagle.
True
10
proof
[(((((((((((triple2) -> rule2) triple3) -> rule4)) -> rule7) ((triple9) -> rule6)) -> rule1) triple3) -> rule8))]
("bear" "likes" "bald eagle" "+")
((((((((((triple2) -> (rule2 % int6)) triple3) -> (rule4 % int5))) -> (rule7 % int4)) ((triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The bear sees the cow.
("bear" "sees" "cow" "+")
int4
The bear sees the lion.
("bear" "sees" "lion" "+")
int5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int6
The bear does not like the bald eagle.
False
10
inv-proof
[(((((((((((triple2) -> rule2) triple3) -> rule4)) -> rule7) ((triple9) -> rule6)) -> rule1) triple3) -> rule8))]
("bear" "likes" "bald eagle" "-")
((((((((((triple2) -> (rule2 % int6)) triple3) -> (rule4 % int5))) -> (rule7 % int4)) ((triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The bear sees the cow.
("bear" "sees" "cow" "+")
int4
The bear sees the lion.
("bear" "sees" "lion" "+")
int5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int6
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The lion sees the cow.
Unknown
rconc
[@2: The lion sees the cow.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("lion" "sees" "cow" "+")
The lion does not see the bald eagle.
Unknown
inv-rconc
[@2: The lion sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule9 <- FAIL)]]
("lion" "sees" "bald eagle" "-")
The cow sees the lion.
Unknown
rconc
[@1: The cow sees the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "sees" "lion" "+")
The bald eagle does not need the lion.
Unknown
inv-rconc
[@2: The bald eagle needs the lion.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("bald eagle" "needs" "lion" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "is" "red" "+")
The lion does not need the bald eagle.
Unknown
inv-random
[@0: The lion needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bald eagle" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle needs the bear.
Unknown
random
[@0: The bald eagle needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bear" "+")
The bear does not like the lion.
Unknown
inv-random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "-")
The lion sees the bear.
Unknown
random
[@0: The lion sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bear" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear is red.[(triple2)] The bear is round.[(triple3)] The bear likes the cow.[(triple4)] The bear needs the cow.[(triple5)] The cow is rough.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow likes the bear.[(triple8)] The cow needs the bear.[(triple9)] The lion likes the cow.[(triple10)] The lion needs the bear.[(triple11)] @1: The bear sees the bald eagle.[(((triple2) -> rule2))] The cow is kind.[(((triple9) -> rule6))] The lion is kind.[(((triple11) -> rule6))] @2: The bear sees the lion.[(((((triple2) -> rule2) triple3) -> rule4))] @3: The bear sees the cow.[(((((((triple2) -> rule2) triple3) -> rule4)) -> rule7))] @4: The bear likes the bear.[(((((((((triple2) -> rule2) triple3) -> rule4)) -> rule7) ((triple9) -> rule6)) -> rule1))] @5: The bear likes the bald eagle.[(((((((((((triple2) -> rule2) triple3) -> rule4)) -> rule7) ((triple9) -> rule6)) -> rule1) triple3) -> rule8))] @6: The bald eagle sees the lion.[(((triple1 ((((((((((triple2) -> rule2) triple3) -> rule4)) -> rule7) ((triple9) -> rule6)) -> rule1) triple3) -> rule8)) -> rule3))] @7: The bald eagle sees the cow.[(((((triple1 ((((((((((triple2) -> rule2) triple3) -> rule4)) -> rule7) ((triple9) -> rule6)) -> rule1) triple3) -> rule8)) -> rule3)) -> rule7))] @8: The bald eagle likes the bear.[(((((((triple1 ((((((((((triple2) -> rule2) triple3) -> rule4)) -> rule7) ((triple9) -> rule6)) -> rule1) triple3) -> rule8)) -> rule3)) -> rule7) ((triple9) -> rule6)) -> rule1))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear likes the cow.
("bear" "likes" "cow" "+")
triple4
The bear needs the cow.
("bear" "needs" "cow" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple7
The cow likes the bear.
("cow" "likes" "bear" "+")
triple8
The cow needs the bear.
("cow" "needs" "bear" "+")
triple9
The lion likes the cow.
("lion" "likes" "cow" "+")
triple10
The lion needs the bear.
("lion" "needs" "bear" "+")
triple11
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((triple9) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
((triple11) -> (rule6 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
((((triple2) -> (rule2 % int2)) triple3) -> (rule4 % int1))
The bear sees the lion.
("bear" "sees" "lion" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear sees the cow.
("bear" "sees" "cow" "+")
((((((triple2) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule7 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear sees the lion.
("bear" "sees" "lion" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bear likes the bear.
("bear" "likes" "bear" "+")
((((((((triple2) -> (rule2 % int5)) triple3) -> (rule4 % int4))) -> (rule7 % int3)) ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The bear sees the cow.
("bear" "sees" "cow" "+")
int3
The bear sees the lion.
("bear" "sees" "lion" "+")
int4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((((((((((triple2) -> (rule2 % int6)) triple3) -> (rule4 % int5))) -> (rule7 % int4)) ((triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple3) -> (rule8 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The bear sees the cow.
("bear" "sees" "cow" "+")
int4
The bear sees the lion.
("bear" "sees" "lion" "+")
int5
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int6
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
((triple1 ((((((((((triple2) -> (rule2 % int7)) triple3) -> (rule4 % int6))) -> (rule7 % int5)) ((triple9) -> (rule6 % int4))) -> (rule1 % int3)) triple3) -> (rule8 % int2))) -> (rule3 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int2
The bear likes the bear.
("bear" "likes" "bear" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The bear sees the cow.
("bear" "sees" "cow" "+")
int5
The bear sees the lion.
("bear" "sees" "lion" "+")
int6
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int7
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
((((triple1 ((((((((((triple2) -> (rule2 % int8)) triple3) -> (rule4 % int7))) -> (rule7 % int6)) ((triple9) -> (rule6 % int5))) -> (rule1 % int4)) triple3) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int3
The bear likes the bear.
("bear" "likes" "bear" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The bear sees the cow.
("bear" "sees" "cow" "+")
int6
The bear sees the lion.
("bear" "sees" "lion" "+")
int7
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int8
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
((((((triple1 ((((((((((triple2) -> (rule2 % int9)) triple3) -> (rule4 % int8))) -> (rule7 % int7)) ((triple9) -> (rule6 % int6))) -> (rule1 % int5)) triple3) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) ((triple9) -> (rule6 % int6))) -> (rule1 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int4
The bear likes the bear.
("bear" "likes" "bear" "+")
int5
The cow is kind.
("cow" "is" "kind" "+")
int6
The bear sees the cow.
("bear" "sees" "cow" "+")
int7
The bear sees the lion.
("bear" "sees" "lion" "+")
int8
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int9