The bald eagle sees the dog. The dog eats the bald eagle. The dog is kind. The dog is nice. The dog is red. The dog sees the bald eagle. The dog visits the bald eagle. If someone visits the bald eagle and they are red then the bald eagle is cold. If someone sees the dog then the dog sees the bald eagle. All cold people are red.
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If someone visits the bald eagle and they are red then the bald eagle is cold.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "red" "+")) -> ("bald eagle" "is" "cold" "+"))
If someone sees the dog then the dog sees the bald eagle.
((("someone" "sees" "dog" "+")) -> ("dog" "sees" "bald eagle" "+"))
All cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
The bald eagle sees the dog.
True
1
proof
[(triple1)]
("bald eagle" "sees" "dog" "+")
triple1
The dog does not visit the bald eagle.
False
1
inv-proof
[(triple7)]
("dog" "visits" "bald eagle" "-")
triple7
The bald eagle is cold.
True
3
proof
[(((triple7 triple5) -> rule1))]
("bald eagle" "is" "cold" "+")
((triple7 triple5) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is not cold.
False
3
inv-proof
[(((triple7 triple5) -> rule1))]
("bald eagle" "is" "cold" "-")
((triple7 triple5) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is red.
True
4
proof
[(((((triple7 triple5) -> rule1)) -> rule3))]
("bald eagle" "is" "red" "+")
((((triple7 triple5) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is not red.
False
4
inv-proof
[(((((triple7 triple5) -> rule1)) -> rule3))]
("bald eagle" "is" "red" "-")
((((triple7 triple5) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle sees the dog.[(triple1)] The dog eats the bald eagle.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is red.[(triple5)] The dog sees the bald eagle.[(triple6 OR ((triple1) -> rule2))] The dog visits the bald eagle.[(triple7)] @1: The bald eagle is cold.[(((triple7 triple5) -> rule1))] @2: The bald eagle is red.[(((((triple7 triple5) -> rule1)) -> rule3))]
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple6
((triple1) -> (rule2 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple7
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple7 triple5) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple7 triple5) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2