The bald eagle eats the tiger. The bald eagle is young. The bald eagle does not visit the cat. The cat does not chase the bald eagle. The tiger chases the bald eagle. The tiger is blue. The tiger does not visit the bald eagle. If the tiger is red then the tiger chases the cat. Red people are round. If someone visits the tiger and the tiger eats the bald eagle then the bald eagle eats the tiger. If the tiger is not young then the tiger visits the cat. If someone chases the tiger and the tiger eats the cat then the tiger is blue. If someone chases the bald eagle then the bald eagle eats the cat. If someone chases the tiger then they eat the cat. If someone eats the cat then they do not visit the tiger.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
If the tiger is red then the tiger chases the cat.
((("tiger" "is" "red" "+")) -> ("tiger" "chases" "cat" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone visits the tiger and the tiger eats the bald eagle then the bald eagle eats the tiger.
((("someone" "visits" "tiger" "+") ("tiger" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If the tiger is not young then the tiger visits the cat.
((("tiger" "is" "young" "~")) -> ("tiger" "visits" "cat" "+"))
If someone chases the tiger and the tiger eats the cat then the tiger is blue.
((("someone" "chases" "tiger" "+") ("tiger" "eats" "cat" "+")) -> ("tiger" "is" "blue" "+"))
If someone chases the bald eagle then the bald eagle eats the cat.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
If someone chases the tiger then they eat the cat.
((("someone" "chases" "tiger" "+")) -> ("someone" "eats" "cat" "+"))
If someone eats the cat then they do not visit the tiger.
((("someone" "eats" "cat" "+")) -> ("someone" "visits" "tiger" "-"))
The cat does not chase the bald eagle.
True
1
proof
[(triple4)]
("cat" "chases" "bald eagle" "-")
triple4
The bald eagle visits the cat.
False
1
inv-proof
[(triple3)]
("bald eagle" "visits" "cat" "+")
triple3
The tiger does not eat the cat.
Unknown
inv-rconc
[@1: The tiger eats the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "eats" "cat" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle does not visit the cat.[(triple3)] The bald eagle eats the tiger.[(triple1)] The bald eagle is young.[(triple2)] The cat does not chase the bald eagle.[(triple4)] The tiger chases the bald eagle.[(triple5)] The tiger does not visit the bald eagle.[(triple7)] The tiger is blue.[(triple6)] @1: The bald eagle eats the cat.[(((triple5) -> rule6))] @2: The bald eagle does not visit the tiger.[(((((triple5) -> rule6)) -> rule8))]
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
triple3
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The cat does not chase the bald eagle.
("cat" "chases" "bald eagle" "-")
triple4
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple5
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
triple6
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
((triple5) -> (rule6 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
((((triple5) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2