The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is round. The bald eagle is young. The rabbit eats the tiger. The rabbit visits the tiger. The tiger is young. If something is blue then it visits the tiger. If something chases the bald eagle then it is not kind. If the tiger visits the rabbit then the tiger chases the bald eagle. If something is kind then it visits the bald eagle. If something eats the bald eagle and it is blue then the bald eagle chases the tiger. If something is blue and it visits the bald eagle then the bald eagle chases the tiger. If something eats the tiger and it chases the tiger then the tiger does not eat the rabbit. If the bald eagle does not eat the tiger and the bald eagle does not chase the rabbit then the bald eagle is kind.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something is blue then it visits the tiger.
((("something" "is" "blue" "+")) -> ("something" "visits" "tiger" "+"))
If something chases the bald eagle then it is not kind.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "kind" "-"))
If the tiger visits the rabbit then the tiger chases the bald eagle.
((("tiger" "visits" "rabbit" "+")) -> ("tiger" "chases" "bald eagle" "+"))
If something is kind then it visits the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "visits" "bald eagle" "+"))
If something eats the bald eagle and it is blue then the bald eagle chases the tiger.
((("something" "eats" "bald eagle" "+") ("something" "is" "blue" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If something is blue and it visits the bald eagle then the bald eagle chases the tiger.
((("something" "is" "blue" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If something eats the tiger and it chases the tiger then the tiger does not eat the rabbit.
((("something" "eats" "tiger" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "eats" "rabbit" "-"))
If the bald eagle does not eat the tiger and the bald eagle does not chase the rabbit then the bald eagle is kind.
((("bald eagle" "eats" "tiger" "~") ("bald eagle" "chases" "rabbit" "~")) -> ("bald eagle" "is" "kind" "+"))
The bald eagle is young.
True
1
proof
[(triple4)]
("bald eagle" "is" "young" "+")
triple4
The bald eagle is not round.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "round" "-")
triple3
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "kind" "-")
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 eats the rabbit.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle is young.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit visits the tiger.[(triple6)] The tiger is young.[(triple7)] @1: The bald eagle visits the tiger.[(((triple2) -> rule1))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple5
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple6
The tiger is young.
("tiger" "is" "young" "+")
triple7
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
((triple2) -> (rule1 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1