The bald eagle does not chase the lion. The bald eagle is big. The bald eagle visits the lion. The bald eagle does not visit the rabbit. The lion chases the rabbit. The lion visits the rabbit. The lion visits the tiger. The rabbit sees the lion. The tiger chases the bald eagle. The tiger does not chase the rabbit. The tiger is not rough. The tiger is young. The tiger sees the bald eagle. The tiger visits the bald eagle. The tiger visits the rabbit. If someone is cold then they visit the rabbit. If someone visits the rabbit and they chase the rabbit then they see the tiger. If the tiger chases the bald eagle then the tiger visits the rabbit.
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If someone is cold then they visit the rabbit.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone visits the rabbit and they chase the rabbit then they see the tiger.
((("someone" "visits" "rabbit" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "sees" "tiger" "+"))
If the tiger chases the bald eagle then the tiger visits the rabbit.
((("tiger" "chases" "bald eagle" "+")) -> ("tiger" "visits" "rabbit" "+"))
The tiger is not rough.
True
1
proof
[(triple11)]
("tiger" "is" "rough" "-")
triple11
The lion does not chase the rabbit.
False
1
inv-proof
[(triple5)]
("lion" "chases" "rabbit" "-")
triple5
The lion sees the tiger.
True
3
proof
[(((triple6 triple5) -> rule2))]
("lion" "sees" "tiger" "+")
((triple6 triple5) -> (rule2 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1
The lion does not see the tiger.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("lion" "sees" "tiger" "-")
((triple6 triple5) -> (rule2 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The bald eagle sees the tiger.
Unknown
rconc
[@1: The bald eagle sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "tiger" "+")
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The rabbit visits the lion.
Unknown
random
[@0: The rabbit visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "lion" "+")
@0: The bald eagle does not chase the lion.[(triple1)] The bald eagle does not visit the rabbit.[(triple4)] The bald eagle is big.[(triple2)] The bald eagle visits the lion.[(triple3)] The lion chases the rabbit.[(triple5)] The lion visits the rabbit.[(triple6)] The lion visits the tiger.[(triple7)] The rabbit sees the lion.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger does not chase the rabbit.[(triple10)] The tiger is not rough.[(triple11)] The tiger is young.[(triple12)] The tiger sees the bald eagle.[(triple13)] The tiger visits the bald eagle.[(triple14)] The tiger visits the rabbit.[(triple15 OR ((triple9) -> rule3))] @1: The lion sees the tiger.[(((triple6 triple5) -> rule2))]
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
triple1
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
triple4
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple3
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple5
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple6
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple7
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple8
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
triple10
The tiger is not rough.
("tiger" "is" "rough" "-")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple13
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple14
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple15
((triple9) -> (rule3 % int1))
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int1
The lion sees the tiger.
("lion" "sees" "tiger" "+")
((triple6 triple5) -> (rule2 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1