The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle is not kind. The bald eagle is nice. The bald eagle is young. The bald eagle sees the cat. The cat chases the bald eagle. The cat does not eat the bald eagle. The cat is kind. The cat sees the bald eagle. If someone is round and not kind then they are blue. If someone chases the cat then they are round.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
If someone is round and not kind then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "blue" "+"))
If someone chases the cat then they are round.
((("someone" "chases" "cat" "+")) -> ("someone" "is" "round" "+"))
The bald eagle is not kind.
True
1
proof
[(triple3)]
("bald eagle" "is" "kind" "-")
triple3
The cat is not kind.
False
1
inv-proof
[(triple9)]
("cat" "is" "kind" "-")
triple9
The bald eagle is round.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "is" "round" "+")
((triple1) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "is" "round" "-")
((triple1) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is blue.
True
4
proof
[(((((triple1) -> rule2) triple3) -> rule1))]
("bald eagle" "is" "blue" "+")
((((triple1) -> (rule2 % int2)) triple3) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle is not blue.
False
4
inv-proof
[(((((triple1) -> rule2) triple3) -> rule1))]
("bald eagle" "is" "blue" "-")
((((triple1) -> (rule2 % int2)) triple3) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat is not blue.
Unknown
inv-rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "blue" "-")
The cat is round.
Unknown
rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "round" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "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" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle is nice.[(triple4)] The bald eagle is not kind.[(triple3)] The bald eagle is young.[(triple5)] The bald eagle sees the cat.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat does not eat the bald eagle.[(triple8)] The cat is kind.[(triple9)] The cat sees the bald eagle.[(triple10)] @1: The bald eagle is round.[(((triple1) -> rule2))] @2: The bald eagle is blue.[(((((triple1) -> rule2) triple3) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple6
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple7
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
triple8
The cat is kind.
("cat" "is" "kind" "+")
triple9
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple10
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((triple1) -> (rule2 % int2)) triple3) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2