The bald eagle is big. The bald eagle is red. The bald eagle likes the cow. The bald eagle does not see the cow. The cow is red. The cow is young. The cow likes the bald eagle. If something likes the bald eagle then it is young. Red things are not round. If something sees the bald eagle then it likes the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
If something likes the bald eagle then it is young.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "young" "+"))
Red things are not round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "-"))
If something sees the bald eagle then it likes the bald eagle.
((("something" "sees" "bald eagle" "+")) -> ("something" "likes" "bald eagle" "+"))
The cow is red.
True
1
proof
[(triple5)]
("cow" "is" "red" "+")
triple5
The cow is not young.
False
1
inv-proof
[(triple6 OR ((triple7) -> rule1))]
("cow" "is" "young" "-")
triple6
((triple7) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not round.
True
2
proof
[(((triple5) -> rule2))]
("cow" "is" "round" "-")
((triple5) -> (rule2 % int1))
The cow is not round.
("cow" "is" "round" "-")
int1
The bald eagle is round.
False
2
inv-proof
[(((triple2) -> rule2))]
("bald eagle" "is" "round" "+")
((triple2) -> (rule2 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1
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 = (rule3 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is young.
Unknown
rconc
[@2: The bald eagle is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle does not need the cow.
Unknown
inv-random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "-")
The cow sees the bald eagle.
Unknown
random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "+")
@0: The bald eagle does not see the cow.[(triple4)] The bald eagle is big.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the cow.[(triple3)] The cow is red.[(triple5)] The cow is young.[(triple6 OR ((triple7) -> rule1))] The cow likes the bald eagle.[(triple7)] @1: The bald eagle is not round.[(((triple2) -> rule2))] The cow is not round.[(((triple5) -> rule2))]
The bald eagle does not see the cow.
("bald eagle" "sees" "cow" "-")
triple4
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
((triple7) -> (rule1 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple7
The bald eagle is not round.
("bald eagle" "is" "round" "-")
((triple2) -> (rule2 % int1))
The bald eagle is not round.
("bald eagle" "is" "round" "-")
int1
The cow is not round.
("cow" "is" "round" "-")
((triple5) -> (rule2 % int1))
The cow is not round.
("cow" "is" "round" "-")
int1