The bald eagle is blue. The bald eagle visits the tiger. The cow is not red. The cow likes the tiger. The tiger chases the cow. The tiger is blue. The tiger likes the bald eagle. If something likes the cow then the cow is rough. If the tiger chases the bald eagle then the bald eagle is rough. If something visits the cow and the cow is rough then it is nice. If something is big then it does not chase the tiger. If something is blue then it does not chase the tiger. If the tiger likes the bald eagle then the bald eagle visits the tiger. If the tiger does not chase the cow then the tiger likes the cow. If something is blue and it chases the tiger then the tiger is red.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow is not red.
("cow" "is" "red" "-")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
If something likes the cow then the cow is rough.
((("something" "likes" "cow" "+")) -> ("cow" "is" "rough" "+"))
If the tiger chases the bald eagle then the bald eagle is rough.
((("tiger" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If something visits the cow and the cow is rough then it is nice.
((("something" "visits" "cow" "+") ("cow" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something is big then it does not chase the tiger.
((("something" "is" "big" "+")) -> ("something" "chases" "tiger" "-"))
If something is blue then it does not chase the tiger.
((("something" "is" "blue" "+")) -> ("something" "chases" "tiger" "-"))
If the tiger likes the bald eagle then the bald eagle visits the tiger.
((("tiger" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If the tiger does not chase the cow then the tiger likes the cow.
((("tiger" "chases" "cow" "~")) -> ("tiger" "likes" "cow" "+"))
If something is blue and it chases the tiger then the tiger is red.
((("something" "is" "blue" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "is" "red" "+"))
The cow likes the tiger.
True
1
proof
[(triple4)]
("cow" "likes" "tiger" "+")
triple4
The tiger is not blue.
False
1
inv-proof
[(triple6)]
("tiger" "is" "blue" "-")
triple6
The tiger does not chase the tiger.
True
2
proof
[(((triple6) -> rule5))]
("tiger" "chases" "tiger" "-")
((triple6) -> (rule5 % int1))
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
int1
The tiger chases the tiger.
False
2
inv-proof
[(((triple6) -> rule5))]
("tiger" "chases" "tiger" "+")
((triple6) -> (rule5 % int1))
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
int1
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "nice" "-")
The cow is nice.
Unknown
rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "nice" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The cow chases the bald eagle.
Unknown
random
[@0: The cow chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle visits the tiger.[(triple2 OR ((triple7) -> rule6))] The cow is not red.[(triple3)] The cow likes the tiger.[(triple4)] The tiger chases the cow.[(triple5)] The tiger is blue.[(triple6)] The tiger likes the bald eagle.[(triple7)] @1: The bald eagle does not chase the tiger.[(((triple1) -> rule5))] The tiger does not chase the tiger.[(((triple6) -> rule5))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
((triple7) -> (rule6 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The cow is not red.
("cow" "is" "red" "-")
triple3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple4
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple5
The tiger is blue.
("tiger" "is" "blue" "+")
triple6
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple7
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
((triple1) -> (rule5 % int1))
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
int1
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
((triple6) -> (rule5 % int1))
The tiger does not chase the tiger.
("tiger" "chases" "tiger" "-")
int1