The bald eagle is kind. The bald eagle likes the cow. The bald eagle likes the mouse. The bald eagle needs the cat. The bald eagle needs the mouse. The cat is not kind. The cat is nice. The cat is young. The cat likes the bald eagle. The cat visits the bald eagle. The cow is round. The cow visits the mouse. The mouse does not like the cow. The mouse does not need the cow. If something visits the cow and it is green then it likes the cat. If something likes the mouse and it likes the cat then the cat visits the cow. If the mouse is nice then the mouse needs the bald eagle. If something is kind then it is green. If something is green and it needs the cow then it visits the cow. If something is young and it likes the cow then it visits the cow. If the bald eagle is green then the bald eagle is nice. If something is green and nice then it needs the cow.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse does not like the cow.
("mouse" "likes" "cow" "-")
The mouse does not need the cow.
("mouse" "needs" "cow" "-")
If something visits the cow and it is green then it likes the cat.
((("something" "visits" "cow" "+") ("something" "is" "green" "+")) -> ("something" "likes" "cat" "+"))
If something likes the mouse and it likes the cat then the cat visits the cow.
((("something" "likes" "mouse" "+") ("something" "likes" "cat" "+")) -> ("cat" "visits" "cow" "+"))
If the mouse is nice then the mouse needs the bald eagle.
((("mouse" "is" "nice" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If something is kind then it is green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
If something is green and it needs the cow then it visits the cow.
((("something" "is" "green" "+") ("something" "needs" "cow" "+")) -> ("something" "visits" "cow" "+"))
If something is young and it likes the cow then it visits the cow.
((("something" "is" "young" "+") ("something" "likes" "cow" "+")) -> ("something" "visits" "cow" "+"))
If the bald eagle is green then the bald eagle is nice.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "is" "nice" "+"))
If something is green and nice then it needs the cow.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "needs" "cow" "+"))
The bald eagle needs the cat.
True
1
proof
[(triple4)]
("bald eagle" "needs" "cat" "+")
triple4
The cow is not round.
False
1
inv-proof
[(triple11)]
("cow" "is" "round" "-")
triple11
The bald eagle is green.
True
2
proof
[(((triple1) -> rule4))]
("bald eagle" "is" "green" "+")
((triple1) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is not green.
False
2
inv-proof
[(((triple1) -> rule4))]
("bald eagle" "is" "green" "-")
((triple1) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is nice.
True
3
proof
[(((((triple1) -> rule4)) -> rule7))]
("bald eagle" "is" "nice" "+")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is not nice.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule7))]
("bald eagle" "is" "nice" "-")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle needs the cow.
True
6
proof
[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule8))]
("bald eagle" "needs" "cow" "+")
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle does not need the cow.
False
6
inv-proof
[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule8))]
("bald eagle" "needs" "cow" "-")
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle visits the cow.
True
9
proof
[(((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule8)) -> rule5))]
("bald eagle" "visits" "cow" "+")
((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bald eagle does not visit the cow.
False
9
inv-proof
[(((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule8)) -> rule5))]
("bald eagle" "visits" "cow" "-")
((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bald eagle likes the cat.
True
12
proof
[(((((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule8)) -> rule5) ((triple1) -> rule4)) -> rule1))]
("bald eagle" "likes" "cat" "+")
((((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple1) -> (rule4 % int5))) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle is green.
("bald eagle" "is" "green" "+")
int5
The bald eagle does not like the cat.
False
12
inv-proof
[(((((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule8)) -> rule5) ((triple1) -> rule4)) -> rule1))]
("bald eagle" "likes" "cat" "-")
((((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple1) -> (rule4 % int5))) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle is green.
("bald eagle" "is" "green" "+")
int5
The mouse is not green.
Unknown
inv-rconc
[@1: The mouse is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "green" "-")
The cow is green.
Unknown
rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "green" "+")
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 cat needs the cow.
Unknown
rconc
[@2: The cat needs the cow.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("cat" "needs" "cow" "+")
The mouse does not visit the cow.
Unknown
inv-rconc
[@1: The mouse visits the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "visits" "cow" "-")
The cow visits the cow.
Unknown
rconc
[@2: The cow visits the cow.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("cow" "visits" "cow" "+")
The mouse does not visit the bald eagle.
Unknown
inv-random
[@0: The mouse visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bald eagle" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cow does not need the mouse.
Unknown
inv-random
[@0: The cow needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "mouse" "-")
The mouse needs the cat.
Unknown
random
[@0: The mouse needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "cat" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle needs the mouse.[(triple5)] The cat is nice.[(triple7)] The cat is not kind.[(triple6)] The cat is young.[(triple8)] The cat likes the bald eagle.[(triple9)] The cat visits the bald eagle.[(triple10)] The cow is round.[(triple11)] The cow visits the mouse.[(triple12)] The mouse does not like the cow.[(triple13)] The mouse does not need the cow.[(triple14)] @1: The bald eagle is green.[(((triple1) -> rule4))] @2: The bald eagle is nice.[(((((triple1) -> rule4)) -> rule7))] @3: The bald eagle needs the cow.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule8))] @4: The bald eagle visits the cow.[(((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule8)) -> rule5))] @5: The bald eagle likes the cat.[(((((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule8)) -> rule5) ((triple1) -> rule4)) -> rule1))] @6: The cat visits the cow.[(((triple3 ((((((triple1) -> rule4) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule7)) -> rule8)) -> rule5) ((triple1) -> rule4)) -> rule1)) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat is not kind.
("cat" "is" "kind" "-")
triple6
The cat is young.
("cat" "is" "young" "+")
triple8
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple9
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple10
The cow is round.
("cow" "is" "round" "+")
triple11
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple12
The mouse does not like the cow.
("mouse" "likes" "cow" "-")
triple13
The mouse does not need the cow.
("mouse" "needs" "cow" "-")
triple14
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple1) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
int4
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
((((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) ((triple1) -> (rule4 % int5))) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle is green.
("bald eagle" "is" "green" "+")
int5
The cat visits the cow.
("cat" "visits" "cow" "+")
((triple3 ((((((triple1) -> (rule4 % int6)) ((((triple1) -> (rule4 % int6)) ((((triple1) -> (rule4 % int6))) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3)) ((triple1) -> (rule4 % int6))) -> (rule1 % int2))) -> (rule2 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
int3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle is green.
("bald eagle" "is" "green" "+")
int6