The bald eagle is big. The bald eagle is round. The bald eagle needs the dog. The bald eagle sees the dog. The dog eats the mouse. The dog is young. The dog needs the mouse. The dog sees the bald eagle. The mouse eats the bald eagle. The mouse does not eat the dog. The mouse is big. The mouse is nice. The mouse is young. The mouse needs the bald eagle. The mouse needs the dog. The mouse sees the bald eagle. If someone is young and they need the dog then the dog is round.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If someone is young and they need the dog then the dog is round.
((("someone" "is" "young" "+") ("someone" "needs" "dog" "+")) -> ("dog" "is" "round" "+"))
The bald eagle is big.
True
1
proof
[(triple1)]
("bald eagle" "is" "big" "+")
triple1
The mouse does not eat the bald eagle.
False
1
inv-proof
[(triple9)]
("mouse" "eats" "bald eagle" "-")
triple9
The dog is round.
True
3
proof
[(((triple13 triple15) -> rule1))]
("dog" "is" "round" "+")
((triple13 triple15) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not round.
False
3
inv-proof
[(((triple13 triple15) -> rule1))]
("dog" "is" "round" "-")
((triple13 triple15) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
The dog does not need the bald eagle.
Unknown
inv-random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "-")
The bald eagle eats the dog.
Unknown
random
[@0: The bald eagle eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "dog" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle sees the dog.[(triple4)] The dog eats the mouse.[(triple5)] The dog is young.[(triple6)] The dog needs the mouse.[(triple7)] The dog sees the bald eagle.[(triple8)] The mouse does not eat the dog.[(triple10)] The mouse eats the bald eagle.[(triple9)] The mouse is big.[(triple11)] The mouse is nice.[(triple12)] The mouse is young.[(triple13)] The mouse needs the bald eagle.[(triple14)] The mouse needs the dog.[(triple15)] The mouse sees the bald eagle.[(triple16)] @1: The dog is round.[(((triple13 triple15) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple7
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple8
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
triple10
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple9
The mouse is big.
("mouse" "is" "big" "+")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
triple12
The mouse is young.
("mouse" "is" "young" "+")
triple13
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple14
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple15
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple16
The dog is round.
("dog" "is" "round" "+")
((triple13 triple15) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1