The bald eagle is kind. The bear chases the squirrel. The cat is big. The squirrel sees the bald eagle. If something chases the bald eagle then it likes the cat. If something likes the bear then it is red. If something chases the cat and it likes the cat then the cat is kind. If something likes the cat then the cat is round. If something chases the cat and the cat sees the bear then the cat likes the squirrel. If something sees the bald eagle then the bald eagle is round.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If something chases the bald eagle then it likes the cat.
((("something" "chases" "bald eagle" "+")) -> ("something" "likes" "cat" "+"))
If something likes the bear then it is red.
((("something" "likes" "bear" "+")) -> ("something" "is" "red" "+"))
If something chases the cat and it likes the cat then the cat is kind.
((("something" "chases" "cat" "+") ("something" "likes" "cat" "+")) -> ("cat" "is" "kind" "+"))
If something likes the cat then the cat is round.
((("something" "likes" "cat" "+")) -> ("cat" "is" "round" "+"))
If something chases the cat and the cat sees the bear then the cat likes the squirrel.
((("something" "chases" "cat" "+") ("cat" "sees" "bear" "+")) -> ("cat" "likes" "squirrel" "+"))
If something sees the bald eagle then the bald eagle is round.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
The squirrel sees the bald eagle.
True
1
proof
[(triple4)]
("squirrel" "sees" "bald eagle" "+")
triple4
The bald eagle is not kind.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "kind" "-")
triple1
The bald eagle is round.
True
2
proof
[(((triple4) -> rule6))]
("bald eagle" "is" "round" "+")
((triple4) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not round.
False
2
inv-proof
[(((triple4) -> rule6))]
("bald eagle" "is" "round" "-")
((triple4) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat is not round.
Unknown
inv-rconc
[@2: The cat is round.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("cat" "is" "round" "-")
The cat is kind.
Unknown
rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "kind" "+")
The squirrel does not chase the bear.
Unknown
inv-random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "-")
The squirrel likes the bald eagle.
Unknown
random
[@0: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bald eagle" "+")
@0: The bald eagle is kind.[(triple1)] The bear chases the squirrel.[(triple2)] The cat is big.[(triple3)] The squirrel sees the bald eagle.[(triple4)] @1: The bald eagle is round.[(((triple4) -> rule6))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple4) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1