The bald eagle chases the tiger. The rabbit visits the tiger. The tiger chases the rabbit. All green, cold people are round. If someone is green and nice then they are cold. If someone chases the tiger then they visit the bald eagle. If someone is cold then they like the bald eagle. If the rabbit chases the bald eagle then the rabbit visits the bald eagle. If someone visits the bald eagle then they visit the rabbit.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
All green, cold people are round.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone chases the tiger then they visit the bald eagle.
((("someone" "chases" "tiger" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is cold then they like the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the rabbit chases the bald eagle then the rabbit visits the bald eagle.
((("rabbit" "chases" "bald eagle" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
If someone visits the bald eagle then they visit the rabbit.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "visits" "rabbit" "+"))
The bald eagle chases the tiger.
True
1
proof
[(triple1)]
("bald eagle" "chases" "tiger" "+")
triple1
The tiger does not chase the rabbit.
False
1
inv-proof
[(triple3)]
("tiger" "chases" "rabbit" "-")
triple3
The bald eagle visits the bald eagle.
True
2
proof
[(((triple1) -> rule3))]
("bald eagle" "visits" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle does not visit the bald eagle.
False
2
inv-proof
[(((triple1) -> rule3))]
("bald eagle" "visits" "bald eagle" "-")
((triple1) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the rabbit.
True
3
proof
[(((((triple1) -> rule3)) -> rule6))]
("bald eagle" "visits" "rabbit" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle does not visit the rabbit.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule6))]
("bald eagle" "visits" "rabbit" "-")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The tiger does not like the bald eagle.
Unknown
inv-rconc
[@2: The tiger likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("tiger" "likes" "bald eagle" "-")
The rabbit visits the bald eagle.
Unknown
rconc
[@1: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "visits" "bald eagle" "+")
The tiger is not cold.
Unknown
inv-rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "cold" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
The tiger is not nice.
Unknown
inv-random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "-")
The rabbit chases the bald eagle.
Unknown
random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "+")
@0: The bald eagle chases the tiger.[(triple1)] The rabbit visits the tiger.[(triple2)] The tiger chases the rabbit.[(triple3)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule3))] @2: The bald eagle visits the rabbit.[(((((triple1) -> rule3)) -> rule6))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple2
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple3
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2