The bald eagle is green. The bald eagle is young. The bald eagle needs the bear. The bald eagle needs the cow. The bear is kind. The bear is rough. The cow is rough. The cow is round. The cow likes the mouse. The cow needs the bald eagle. The cow needs the mouse. The cow sees the bald eagle. The mouse is round. The mouse needs the bear. If something likes the bald eagle then it is green. If something is round then it likes the bear. If the mouse needs the cow then the mouse needs the bald eagle. If the bear is young and the bear needs the bald eagle then the bald eagle likes the bear. If something needs the bear then it is round. If the bald eagle likes the bear then the bear is green. If something sees the bald eagle then it likes the bald eagle. Green, kind things are round.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If something likes the bald eagle then it is green.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "green" "+"))
If something is round then it likes the bear.
((("something" "is" "round" "+")) -> ("something" "likes" "bear" "+"))
If the mouse needs the cow then the mouse needs the bald eagle.
((("mouse" "needs" "cow" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If the bear is young and the bear needs the bald eagle then the bald eagle likes the bear.
((("bear" "is" "young" "+") ("bear" "needs" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "+"))
If something needs the bear then it is round.
((("something" "needs" "bear" "+")) -> ("something" "is" "round" "+"))
If the bald eagle likes the bear then the bear is green.
((("bald eagle" "likes" "bear" "+")) -> ("bear" "is" "green" "+"))
If something sees the bald eagle then it likes the bald eagle.
((("something" "sees" "bald eagle" "+")) -> ("something" "likes" "bald eagle" "+"))
Green, kind things are round.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
The cow likes the mouse.
True
1
proof
[(triple9)]
("cow" "likes" "mouse" "+")
triple9
The mouse does not need the bear.
False
1
inv-proof
[(triple14)]
("mouse" "needs" "bear" "-")
triple14
The cow likes the bald eagle.
True
2
proof
[(((triple12) -> rule7))]
("cow" "likes" "bald eagle" "+")
((triple12) -> (rule7 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow does not like the bear.
False
2
inv-proof
[(((triple8) -> rule2))]
("cow" "likes" "bear" "-")
((triple8) -> (rule2 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The cow is green.
True
3
proof
[(((((triple12) -> rule7)) -> rule1))]
("cow" "is" "green" "+")
((((triple12) -> (rule7 % int2))) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The bald eagle does not like the bear.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule2))]
("bald eagle" "likes" "bear" "-")
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bear is green.
True
4
proof
[(((((((triple3) -> rule5)) -> rule2)) -> rule6))]
("bear" "is" "green" "+")
((((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The bear is not green.
False
4
inv-proof
[(((((((triple3) -> rule5)) -> rule2)) -> rule6))]
("bear" "is" "green" "-")
((((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The bear is round.
True
6
proof
[(((((((((triple3) -> rule5)) -> rule2)) -> rule6) triple5) -> rule8))]
("bear" "is" "round" "+")
((((((((triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
int4
The bear is not round.
False
6
inv-proof
[(((((((((triple3) -> rule5)) -> rule2)) -> rule6) triple5) -> rule8))]
("bear" "is" "round" "-")
((((((((triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
int4
The bear likes the bear.
True
7
proof
[(((((((((((triple3) -> rule5)) -> rule2)) -> rule6) triple5) -> rule8)) -> rule2))]
("bear" "likes" "bear" "+")
((((((((((triple3) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) triple5) -> (rule8 % int2))) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle is round.
("bald eagle" "is" "round" "+")
int5
The bear does not like the bear.
False
7
inv-proof
[(((((((((((triple3) -> rule5)) -> rule2)) -> rule6) triple5) -> rule8)) -> rule2))]
("bear" "likes" "bear" "-")
((((((((((triple3) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) triple5) -> (rule8 % int2))) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle is round.
("bald eagle" "is" "round" "+")
int5
The mouse does not need the bald eagle.
Unknown
inv-rconc
[@1: The mouse needs the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "needs" "bald eagle" "-")
The mouse is green.
Unknown
rconc
[@2: The mouse is green.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("mouse" "is" "green" "+")
The mouse does not like the bald eagle.
Unknown
inv-rconc
[@1: The mouse likes the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "likes" "bald eagle" "-")
The bear likes the bald eagle.
Unknown
rconc
[@1: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "likes" "bald eagle" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The cow does not see the bear.
Unknown
inv-random
[@0: The cow sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bear" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear needs the cow.
Unknown
random
[@0: The bear needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cow" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the cow.[(triple4)] The bear is kind.[(triple5)] The bear is rough.[(triple6)] The cow is rough.[(triple7)] The cow is round.[(triple8)] The cow likes the mouse.[(triple9)] The cow needs the bald eagle.[(triple10)] The cow needs the mouse.[(triple11)] The cow sees the bald eagle.[(triple12)] The mouse is round.[(triple13 OR ((triple14) -> rule5))] The mouse needs the bear.[(triple14)] @1: The bald eagle is round.[(((triple3) -> rule5))] The cow likes the bald eagle.[(((triple12) -> rule7))] The cow likes the bear.[(((triple8) -> rule2))] The mouse likes the bear.[(((triple13) -> rule2) OR ((((triple14) -> rule5)) -> rule2))] @2: The bald eagle likes the bear.[(((((triple3) -> rule5)) -> rule2))] The cow is green.[(((((triple12) -> rule7)) -> rule1))] @3: The bear is green.[(((((((triple3) -> rule5)) -> rule2)) -> rule6))] @4: The bear is round.[(((((((((triple3) -> rule5)) -> rule2)) -> rule6) triple5) -> rule8))] @5: The bear likes the bear.[(((((((((((triple3) -> rule5)) -> rule2)) -> rule6) triple5) -> rule8)) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The bear is kind.
("bear" "is" "kind" "+")
triple5
The bear is rough.
("bear" "is" "rough" "+")
triple6
The cow is rough.
("cow" "is" "rough" "+")
triple7
The cow is round.
("cow" "is" "round" "+")
triple8
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple9
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple10
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple11
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple12
The mouse is round.
("mouse" "is" "round" "+")
triple13
((triple14) -> (rule5 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple14
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple3) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((triple12) -> (rule7 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow likes the bear.
("cow" "likes" "bear" "+")
((triple8) -> (rule2 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
((triple13) -> (rule2 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
((((triple14) -> (rule5 % int2))) -> (rule2 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cow is green.
("cow" "is" "green" "+")
((((triple12) -> (rule7 % int2))) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The bear is green.
("bear" "is" "green" "+")
((((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The bear is round.
("bear" "is" "round" "+")
((((((((triple3) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
int4
The bear likes the bear.
("bear" "likes" "bear" "+")
((((((((((triple3) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) triple5) -> (rule8 % int2))) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle is round.
("bald eagle" "is" "round" "+")
int5