The bald eagle is blue. The bald eagle is young. The bald eagle needs the tiger. The bald eagle visits the cat. The cat is blue. The cow needs the bald eagle. The cow needs the cat. The cow does not visit the cat. The tiger is big. The tiger is blue. The tiger is kind. The tiger is nice. The tiger does not need the bald eagle. The tiger needs the cat. The tiger visits the cow. If someone is kind and they visit the tiger then the tiger is not nice. If someone is nice and they do not visit the tiger then they are young.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow does not visit the cat.
("cow" "visits" "cat" "-")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If someone is kind and they visit the tiger then the tiger is not nice.
((("someone" "is" "kind" "+") ("someone" "visits" "tiger" "+")) -> ("tiger" "is" "nice" "-"))
If someone is nice and they do not visit the tiger then they are young.
((("someone" "is" "nice" "+") ("someone" "visits" "tiger" "~")) -> ("someone" "is" "young" "+"))
The cat is blue.
True
1
proof
[(triple5)]
("cat" "is" "blue" "+")
triple5
The tiger needs the bald eagle.
False
1
inv-proof
[(triple13)]
("tiger" "needs" "bald eagle" "+")
triple13
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "young" "-")
The cat needs the cow.
Unknown
random
[@0: The cat needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cow" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle visits the cat.[(triple4)] The cat is blue.[(triple5)] The cow does not visit the cat.[(triple8)] The cow needs the bald eagle.[(triple6)] The cow needs the cat.[(triple7)] The tiger does not need the bald eagle.[(triple13)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger needs the cat.[(triple14)] The tiger visits the cow.[(triple15)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cow does not visit the cat.
("cow" "visits" "cat" "-")
triple8
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple6
The cow needs the cat.
("cow" "needs" "cat" "+")
triple7
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
triple13
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple14
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple15