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