The bald eagle is young. The bald eagle needs the dog. The cat needs the bald eagle. The cat needs the tiger. The cat visits the dog. The dog chases the bald eagle. The dog chases the cat. The dog chases the tiger. The dog is rough. The dog needs the bald eagle. The dog needs the cat. The dog needs the tiger. The dog visits the cat. The tiger visits the bald eagle. The tiger visits the cat. The tiger visits the dog. If someone needs the tiger then they are cold.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If someone needs the tiger then they are cold.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "cold" "+"))
The dog chases the bald eagle.
True
1
proof
[(triple6)]
("dog" "chases" "bald eagle" "+")
triple6
The dog does not visit the cat.
False
1
inv-proof
[(triple13)]
("dog" "visits" "cat" "-")
triple13
The dog is cold.
True
2
proof
[(((triple12) -> rule1))]
("dog" "is" "cold" "+")
((triple12) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The cat is not cold.
False
2
inv-proof
[(((triple4) -> rule1))]
("cat" "is" "cold" "-")
((triple4) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The tiger is cold.
Unknown
rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "cold" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The tiger needs the dog.
Unknown
random
[@0: The tiger needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "dog" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle needs the dog.[(triple2)] The cat needs the bald eagle.[(triple3)] The cat needs the tiger.[(triple4)] The cat visits the dog.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog chases the cat.[(triple7)] The dog chases the tiger.[(triple8)] The dog is rough.[(triple9)] The dog needs the bald eagle.[(triple10)] The dog needs the cat.[(triple11)] The dog needs the tiger.[(triple12)] The dog visits the cat.[(triple13)] The tiger visits the bald eagle.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the dog.[(triple16)] @1: The cat is cold.[(((triple4) -> rule1))] The dog is cold.[(((triple12) -> rule1))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple2
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple3
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple4
The cat visits the dog.
("cat" "visits" "dog" "+")
triple5
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple6
The dog chases the cat.
("dog" "chases" "cat" "+")
triple7
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple10
The dog needs the cat.
("dog" "needs" "cat" "+")
triple11
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple12
The dog visits the cat.
("dog" "visits" "cat" "+")
triple13
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple14
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple15
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple16
The cat is cold.
("cat" "is" "cold" "+")
((triple4) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
((triple12) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1