The bald eagle is red. The bald eagle likes the cat. The bald eagle likes the tiger. The bald eagle visits the tiger. The cat chases the bald eagle. The cat is nice. The cat is young. The cat visits the bald eagle. The tiger chases the bald eagle. The tiger chases the cat. The tiger is green. The tiger is nice. The tiger is red. The tiger is rough. The tiger likes the bald eagle. The tiger likes the cat. Red people are green. If the cat visits the bald eagle and the bald eagle likes the cat then the bald eagle is green.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If the cat visits the bald eagle and the bald eagle likes the cat then the bald eagle is green.
((("cat" "visits" "bald eagle" "+") ("bald eagle" "likes" "cat" "+")) -> ("bald eagle" "is" "green" "+"))
The tiger is nice.
True
1
proof
[(triple12)]
("tiger" "is" "nice" "+")
triple12
The tiger is not green.
False
1
inv-proof
[(triple11 OR ((triple13) -> rule1))]
("tiger" "is" "green" "-")
triple11
((triple13) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "green" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle visits the tiger.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat is nice.[(triple6)] The cat is young.[(triple7)] The cat visits the bald eagle.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the cat.[(triple10)] The tiger is green.[(triple11 OR ((triple13) -> rule1))] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger likes the cat.[(triple16)] @1: The bald eagle is green.[(((triple1) -> rule1) OR ((triple8 triple2) -> rule2))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple8
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
((triple13) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple16
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple1) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
((triple8 triple2) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1