The bald eagle is rough. The bald eagle visits the tiger. The bear chases the rabbit. The bear visits the bald eagle. The rabbit chases the tiger. The rabbit is green. The rabbit visits the tiger. The tiger eats the bald eagle. The tiger is green. The tiger is young. If the rabbit is big and the rabbit chases the bald eagle then the bald eagle is young.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is young.
("tiger" "is" "young" "+")
If the rabbit is big and the rabbit chases the bald eagle then the bald eagle is young.
((("rabbit" "is" "big" "+") ("rabbit" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
The rabbit chases the tiger.
True
1
proof
[(triple5)]
("rabbit" "chases" "tiger" "+")
triple5
The tiger is not young.
False
1
inv-proof
[(triple10)]
("tiger" "is" "young" "-")
triple10
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "young" "-")
The tiger visits the rabbit.
Unknown
random
[@0: The tiger visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "rabbit" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle visits the tiger.[(triple2)] The bear chases the rabbit.[(triple3)] The bear visits the bald eagle.[(triple4)] The rabbit chases the tiger.[(triple5)] The rabbit is green.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger eats the bald eagle.[(triple8)] The tiger is green.[(triple9)] The tiger is young.[(triple10)]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple3
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple4
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple5
The rabbit is green.
("rabbit" "is" "green" "+")
triple6
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple7
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is young.
("tiger" "is" "young" "+")
triple10