The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle likes the mouse. The bald eagle needs the mouse. The mouse chases the bald eagle. The mouse is big. The mouse is green. The mouse is red. The mouse likes the bald eagle. The mouse needs the bald eagle. If something needs the bald eagle and it is red then it chases the mouse. If something needs the mouse and it needs the bald eagle then the mouse is round. Round things are kind. If something chases the mouse and the mouse chases the bald eagle then it is round. All big things are green. If something is big and it needs the mouse then it chases the mouse. If something is big then it likes the mouse. If something needs the bald eagle and it needs the mouse then the mouse likes the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
If something needs the bald eagle and it is red then it chases the mouse.
((("something" "needs" "bald eagle" "+") ("something" "is" "red" "+")) -> ("something" "chases" "mouse" "+"))
If something needs the mouse and it needs the bald eagle then the mouse is round.
((("something" "needs" "mouse" "+") ("something" "needs" "bald eagle" "+")) -> ("mouse" "is" "round" "+"))
Round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something chases the mouse and the mouse chases the bald eagle then it is round.
((("something" "chases" "mouse" "+") ("mouse" "chases" "bald eagle" "+")) -> ("something" "is" "round" "+"))
All big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is big and it needs the mouse then it chases the mouse.
((("something" "is" "big" "+") ("something" "needs" "mouse" "+")) -> ("something" "chases" "mouse" "+"))
If something is big then it likes the mouse.
((("something" "is" "big" "+")) -> ("something" "likes" "mouse" "+"))
If something needs the bald eagle and it needs the mouse then the mouse likes the bald eagle.
((("something" "needs" "bald eagle" "+") ("something" "needs" "mouse" "+")) -> ("mouse" "likes" "bald eagle" "+"))
The mouse is green.
True
1
proof
[(triple9 OR ((triple8) -> rule5))]
("mouse" "is" "green" "+")
triple9
((triple8) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is not green.
False
1
inv-proof
[(triple9 OR ((triple8) -> rule5))]
("mouse" "is" "green" "-")
triple9
((triple8) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse chases the mouse.
True
3
proof
[(((triple12 triple10) -> rule1))]
("mouse" "chases" "mouse" "+")
((triple12 triple10) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The bald eagle does not chase the mouse.
False
3
inv-proof
[(((triple1 triple6) -> rule6))]
("bald eagle" "chases" "mouse" "-")
((triple1 triple6) -> (rule6 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse is round.
True
5
proof
[(((((triple12 triple10) -> rule1) triple7) -> rule4))]
("mouse" "is" "round" "+")
((((triple12 triple10) -> (rule1 % int2)) triple7) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The bald eagle is not round.
False
5
inv-proof
[(((((triple1 triple6) -> rule6) triple7) -> rule4))]
("bald eagle" "is" "round" "-")
((((triple1 triple6) -> (rule6 % int2)) triple7) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse is kind.
True
6
proof
[(((((((triple12 triple10) -> rule1) triple7) -> rule4)) -> rule3))]
("mouse" "is" "kind" "+")
((((((triple12 triple10) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is not kind.
False
6
inv-proof
[(((((((triple12 triple10) -> rule1) triple7) -> rule4)) -> rule3))]
("mouse" "is" "kind" "-")
((((((triple12 triple10) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2 OR ((triple1) -> rule5))] The bald eagle is kind.[(triple3 OR ((((((triple1 triple6) -> rule6) triple7) -> rule4)) -> rule3))] The bald eagle is red.[(triple4)] The bald eagle likes the mouse.[(triple5 OR ((triple1) -> rule7))] The bald eagle needs the mouse.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse is big.[(triple8)] The mouse is green.[(triple9 OR ((triple8) -> rule5))] The mouse is red.[(triple10)] The mouse likes the bald eagle.[(triple11)] The mouse needs the bald eagle.[(triple12)] @1: The bald eagle chases the mouse.[(((triple1 triple6) -> rule6))] The mouse chases the mouse.[(((triple12 triple10) -> rule1))] The mouse likes the mouse.[(((triple8) -> rule7))] @2: The bald eagle is round.[(((((triple1 triple6) -> rule6) triple7) -> rule4))] The mouse is round.[(((((triple12 triple10) -> rule1) triple7) -> rule4))] @3: The mouse is kind.[(((((((triple12 triple10) -> rule1) triple7) -> rule4)) -> rule3))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
((triple1) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
((((((triple1 triple6) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple5
((triple1) -> (rule7 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple6
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The mouse is big.
("mouse" "is" "big" "+")
triple8
The mouse is green.
("mouse" "is" "green" "+")
triple9
((triple8) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
triple10
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple11
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple12
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((triple1 triple6) -> (rule6 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple12 triple10) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple8) -> (rule7 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((triple1 triple6) -> (rule6 % int2)) triple7) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int2
The mouse is round.
("mouse" "is" "round" "+")
((((triple12 triple10) -> (rule1 % int2)) triple7) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
((((((triple12 triple10) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3