The bald eagle is blue. The bald eagle likes the dog. The cat is blue. The cat is cold. The cat likes the tiger. The dog is rough. The dog is round. The dog needs the cat. The dog needs the tiger. The tiger visits the cat. If someone is cold and they visit the tiger then they like the cat. If someone visits the dog then the dog needs the bald eagle. If someone needs the cat and they need the bald eagle then they need the tiger. If someone likes the cat and the cat is blue then the cat is rough. If someone likes the bald eagle then the bald eagle needs the tiger. If the dog visits the bald eagle then the bald eagle needs the dog. If someone needs the cat then the cat visits the dog. If someone is round and they visit the bald eagle then the bald eagle visits the tiger.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If someone is cold and they visit the tiger then they like the cat.
((("someone" "is" "cold" "+") ("someone" "visits" "tiger" "+")) -> ("someone" "likes" "cat" "+"))
If someone visits the dog then the dog needs the bald eagle.
((("someone" "visits" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
If someone needs the cat and they need the bald eagle then they need the tiger.
((("someone" "needs" "cat" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "needs" "tiger" "+"))
If someone likes the cat and the cat is blue then the cat is rough.
((("someone" "likes" "cat" "+") ("cat" "is" "blue" "+")) -> ("cat" "is" "rough" "+"))
If someone likes the bald eagle then the bald eagle needs the tiger.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "tiger" "+"))
If the dog visits the bald eagle then the bald eagle needs the dog.
((("dog" "visits" "bald eagle" "+")) -> ("bald eagle" "needs" "dog" "+"))
If someone needs the cat then the cat visits the dog.
((("someone" "needs" "cat" "+")) -> ("cat" "visits" "dog" "+"))
If someone is round and they visit the bald eagle then the bald eagle visits the tiger.
((("someone" "is" "round" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "tiger" "+"))
The dog is round.
True
1
proof
[(triple7)]
("dog" "is" "round" "+")
triple7
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The cat visits the dog.
True
2
proof
[(((triple8) -> rule7))]
("cat" "visits" "dog" "+")
((triple8) -> (rule7 % int1))
The cat visits the dog.
("cat" "visits" "dog" "+")
int1
The cat does not visit the dog.
False
2
inv-proof
[(((triple8) -> rule7))]
("cat" "visits" "dog" "-")
((triple8) -> (rule7 % int1))
The cat visits the dog.
("cat" "visits" "dog" "+")
int1
The bald eagle does not like the cat.
Unknown
inv-rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "cat" "-")
The bald eagle needs the tiger.
Unknown
rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "tiger" "+")
The cat does not need the dog.
Unknown
inv-random
[@0: The cat needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "dog" "-")
The tiger likes the dog.
Unknown
random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the dog.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat likes the tiger.[(triple5)] The dog is rough.[(triple6)] The dog is round.[(triple7)] The dog needs the cat.[(triple8)] The dog needs the tiger.[(triple9 OR ((triple8 ((((triple8) -> rule7)) -> rule2)) -> rule3))] The tiger visits the cat.[(triple10)] @1: The cat visits the dog.[(((triple8) -> rule7))] @2: The dog needs the bald eagle.[(((((triple8) -> rule7)) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple6
The dog is round.
("dog" "is" "round" "+")
triple7
The dog needs the cat.
("dog" "needs" "cat" "+")
triple8
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple9
((triple8 ((((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The cat visits the dog.
("cat" "visits" "dog" "+")
int3
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple10
The cat visits the dog.
("cat" "visits" "dog" "+")
((triple8) -> (rule7 % int1))
The cat visits the dog.
("cat" "visits" "dog" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
((((triple8) -> (rule7 % int2))) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The cat visits the dog.
("cat" "visits" "dog" "+")
int2