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