The bald eagle chases the rabbit. The bald eagle chases the tiger. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is young. The bald eagle needs the rabbit. The bald eagle needs the tiger. The bald eagle visits the rabbit. The bald eagle visits the tiger. The rabbit is young. The rabbit needs the tiger. The rabbit visits the tiger. The tiger chases the bald eagle. The tiger is green. The tiger visits the rabbit. If something is nice and it visits the tiger then the tiger needs the rabbit. If the tiger is young then the tiger needs the bald eagle. If something needs the bald eagle then the bald eagle needs the tiger. If the bald eagle needs the rabbit and the rabbit visits the tiger then the rabbit needs the tiger. If something is round then it visits the tiger. If something chases the tiger then it is young. If something is nice then it needs the tiger. If something is round and it chases the tiger then the tiger visits the rabbit.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If something is nice and it visits the tiger then the tiger needs the rabbit.
((("something" "is" "nice" "+") ("something" "visits" "tiger" "+")) -> ("tiger" "needs" "rabbit" "+"))
If the tiger is young then the tiger needs the bald eagle.
((("tiger" "is" "young" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If something needs the bald eagle then the bald eagle needs the tiger.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "tiger" "+"))
If the bald eagle needs the rabbit and the rabbit visits the tiger then the rabbit needs the tiger.
((("bald eagle" "needs" "rabbit" "+") ("rabbit" "visits" "tiger" "+")) -> ("rabbit" "needs" "tiger" "+"))
If something is round then it visits the tiger.
((("something" "is" "round" "+")) -> ("something" "visits" "tiger" "+"))
If something chases the tiger then it is young.
((("something" "chases" "tiger" "+")) -> ("something" "is" "young" "+"))
If something is nice then it needs the tiger.
((("something" "is" "nice" "+")) -> ("something" "needs" "tiger" "+"))
If something is round and it chases the tiger then the tiger visits the rabbit.
((("something" "is" "round" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "visits" "rabbit" "+"))
The tiger visits the rabbit.
True
1
proof
[(triple16)]
("tiger" "visits" "rabbit" "+")
triple16
The bald eagle does not visit the rabbit.
False
1
inv-proof
[(triple9)]
("bald eagle" "visits" "rabbit" "-")
triple9
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "is" "young" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is young.[(triple6 OR ((triple2) -> rule6))] The bald eagle needs the rabbit.[(triple7)] The bald eagle needs the tiger.[(triple8 OR ((triple5) -> rule7))] The bald eagle visits the rabbit.[(triple9)] The bald eagle visits the tiger.[(triple10)] The rabbit is young.[(triple11)] The rabbit needs the tiger.[(triple12 OR ((triple7 triple13) -> rule4))] The rabbit visits the tiger.[(triple13)] The tiger chases the bald eagle.[(triple14)] The tiger is green.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The tiger needs the rabbit.[(((triple5 triple10) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple5
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple6
((triple2) -> (rule6 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple7
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple8
((triple5) -> (rule7 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple9
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple12
((triple7 triple13) -> (rule4 % int1))
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int1
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple13
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple14
The tiger is green.
("tiger" "is" "green" "+")
triple15
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple16
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
((triple5 triple10) -> (rule1 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1