The bald eagle is green. The bald eagle is red. The bald eagle visits the cow. The bald eagle visits the dog. The cat is red. The cat likes the bald eagle. The cat visits the dog. The cow is green. The cow is young. The cow likes the bald eagle. The cow likes the cat. The cow needs the cat. The cow visits the cat. The cow visits the dog. The dog is round. The dog needs the cat. If the bald eagle visits the dog then the bald eagle is young. Young things are green. If the dog is red and the dog likes the cat then the cat needs the dog.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
If the bald eagle visits the dog then the bald eagle is young.
((("bald eagle" "visits" "dog" "+")) -> ("bald eagle" "is" "young" "+"))
Young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If the dog is red and the dog likes the cat then the cat needs the dog.
((("dog" "is" "red" "+") ("dog" "likes" "cat" "+")) -> ("cat" "needs" "dog" "+"))
The cow needs the cat.
True
1
proof
[(triple12)]
("cow" "needs" "cat" "+")
triple12
The cow does not visit the dog.
False
1
inv-proof
[(triple14)]
("cow" "visits" "dog" "-")
triple14
The bald eagle is young.
True
2
proof
[(((triple4) -> rule1))]
("bald eagle" "is" "young" "+")
((triple4) -> (rule1 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle is not young.
False
2
inv-proof
[(((triple4) -> rule1))]
("bald eagle" "is" "young" "-")
((triple4) -> (rule1 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The cat does not need the dog.
Unknown
inv-rconc
[@1: The cat needs the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "needs" "dog" "-")
The dog is green.
Unknown
rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "green" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The bald eagle is green.[(triple1 OR ((((triple4) -> rule1)) -> rule2))] The bald eagle is red.[(triple2)] The bald eagle visits the cow.[(triple3)] The bald eagle visits the dog.[(triple4)] The cat is red.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat visits the dog.[(triple7)] The cow is green.[(triple8 OR ((triple9) -> rule2))] The cow is young.[(triple9)] The cow likes the bald eagle.[(triple10)] The cow likes the cat.[(triple11)] The cow needs the cat.[(triple12)] The cow visits the cat.[(triple13)] The cow visits the dog.[(triple14)] The dog is round.[(triple15)] The dog needs the cat.[(triple16)] @1: The bald eagle is young.[(((triple4) -> rule1))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple4
The cat is red.
("cat" "is" "red" "+")
triple5
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple6
The cat visits the dog.
("cat" "visits" "dog" "+")
triple7
The cow is green.
("cow" "is" "green" "+")
triple8
((triple9) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is young.
("cow" "is" "young" "+")
triple9
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple10
The cow likes the cat.
("cow" "likes" "cat" "+")
triple11
The cow needs the cat.
("cow" "needs" "cat" "+")
triple12
The cow visits the cat.
("cow" "visits" "cat" "+")
triple13
The cow visits the dog.
("cow" "visits" "dog" "+")
triple14
The dog is round.
("dog" "is" "round" "+")
triple15
The dog needs the cat.
("dog" "needs" "cat" "+")
triple16
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple4) -> (rule1 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1