The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle is round. The bald eagle likes the dog. The bald eagle sees the dog. The dog chases the bald eagle. The dog is big. The dog is blue. The dog is nice. The dog likes the bald eagle. The dog sees the bald eagle. If someone chases the bald eagle then the bald eagle is big. If someone likes the bald eagle and the bald eagle likes the dog then they are big.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
If someone chases the bald eagle then the bald eagle is big.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If someone likes the bald eagle and the bald eagle likes the dog then they are big.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "likes" "dog" "+")) -> ("someone" "is" "big" "+"))
The bald eagle is blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is not nice.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "nice" "-")
triple3
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 dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The bald eagle is big.[(triple1 OR ((triple7) -> rule1))] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the dog.[(triple5)] The bald eagle sees the dog.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog is big.[(triple8 OR ((triple11 triple5) -> rule2))] The dog is blue.[(triple9)] The dog is nice.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog sees the bald eagle.[(triple12)]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
((triple7) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple5
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple6
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
((triple11 triple5) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
triple9
The dog is nice.
("dog" "is" "nice" "+")
triple10
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple11
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple12