The bald eagle chases the mouse. The bald eagle chases the tiger. The bald eagle is kind. The bald eagle does not see the mouse. The bald eagle does not see the tiger. The mouse chases the tiger. The mouse eats the rabbit. The mouse eats the tiger. The mouse is not red. The mouse sees the rabbit. The mouse sees the tiger. The rabbit chases the tiger. The rabbit is kind. The tiger is not blue. The tiger is red. If something is blue then it eats the tiger. If the rabbit chases the bald eagle then the rabbit eats the tiger. If something is blue and it eats the tiger then it sees the mouse. If something chases the tiger and it eats the rabbit then the tiger sees the rabbit. If something sees the rabbit and the rabbit chases the tiger then the tiger eats the bald eagle. If the mouse sees the bald eagle and the bald eagle sees the tiger then the bald eagle does not chase the mouse. If something eats the mouse and it does not chase the bald eagle then the mouse is kind. If something eats the bald eagle and it is red then it does not chase the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is not red.
("mouse" "is" "red" "-")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger is red.
("tiger" "is" "red" "+")
If something is blue then it eats the tiger.
((("something" "is" "blue" "+")) -> ("something" "eats" "tiger" "+"))
If the rabbit chases the bald eagle then the rabbit eats the tiger.
((("rabbit" "chases" "bald eagle" "+")) -> ("rabbit" "eats" "tiger" "+"))
If something is blue and it eats the tiger then it sees the mouse.
((("something" "is" "blue" "+") ("something" "eats" "tiger" "+")) -> ("something" "sees" "mouse" "+"))
If something chases the tiger and it eats the rabbit then the tiger sees the rabbit.
((("something" "chases" "tiger" "+") ("something" "eats" "rabbit" "+")) -> ("tiger" "sees" "rabbit" "+"))
If something sees the rabbit and the rabbit chases the tiger then the tiger eats the bald eagle.
((("something" "sees" "rabbit" "+") ("rabbit" "chases" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If the mouse sees the bald eagle and the bald eagle sees the tiger then the bald eagle does not chase the mouse.
((("mouse" "sees" "bald eagle" "+") ("bald eagle" "sees" "tiger" "+")) -> ("bald eagle" "chases" "mouse" "-"))
If something eats the mouse and it does not chase the bald eagle then the mouse is kind.
((("something" "eats" "mouse" "+") ("something" "chases" "bald eagle" "~")) -> ("mouse" "is" "kind" "+"))
If something eats the bald eagle and it is red then it does not chase the mouse.
((("something" "eats" "bald eagle" "+") ("something" "is" "red" "+")) -> ("something" "chases" "mouse" "-"))
The rabbit is kind.
True
1
proof
[(triple13)]
("rabbit" "is" "kind" "+")
triple13
The rabbit is not kind.
False
1
inv-proof
[(triple13)]
("rabbit" "is" "kind" "-")
triple13
The tiger sees the rabbit.
True
3
proof
[(((triple6 triple7) -> rule4))]
("tiger" "sees" "rabbit" "+")
((triple6 triple7) -> (rule4 % int1))
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int1
The tiger does not see the rabbit.
False
3
inv-proof
[(((triple6 triple7) -> rule4))]
("tiger" "sees" "rabbit" "-")
((triple6 triple7) -> (rule4 % int1))
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int1
The tiger does not chase the mouse.
True
5
proof
[(((((triple10 triple12) -> rule5) triple15) -> rule8) OR ((((((triple6 triple7) -> rule4) triple12) -> rule5) triple15) -> rule8))]
("tiger" "chases" "mouse" "-")
((((triple10 triple12) -> (rule5 % int2)) triple15) -> (rule8 % int1))
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
((((((triple6 triple7) -> (rule4 % int3)) triple12) -> (rule5 % int2)) triple15) -> (rule8 % int1))
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
The tiger chases the mouse.
False
5
inv-proof
[(((((triple10 triple12) -> rule5) triple15) -> rule8) OR ((((((triple6 triple7) -> rule4) triple12) -> rule5) triple15) -> rule8))]
("tiger" "chases" "mouse" "+")
((((triple10 triple12) -> (rule5 % int2)) triple15) -> (rule8 % int1))
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
((((((triple6 triple7) -> (rule4 % int3)) triple12) -> (rule5 % int2)) triple15) -> (rule8 % int1))
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
The mouse is not kind.
Unknown
inv-rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "is" "kind" "-")
The rabbit eats the tiger.
Unknown
rconc
[@1: The rabbit eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "tiger" "+")
The rabbit does not see the mouse.
Unknown
inv-rconc
[@1: The rabbit sees the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "mouse" "-")
The mouse eats the bald eagle.
Unknown
random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "+")
The mouse does not see the bald eagle.
Unknown
inv-random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "-")
The mouse chases the bald eagle.
Unknown
random
[@0: The mouse chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bald eagle" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle does not see the mouse.[(triple4)] The bald eagle does not see the tiger.[(triple5)] The bald eagle is kind.[(triple3)] The mouse chases the tiger.[(triple6)] The mouse eats the rabbit.[(triple7)] The mouse eats the tiger.[(triple8)] The mouse is not red.[(triple9)] The mouse sees the rabbit.[(triple10)] The mouse sees the tiger.[(triple11)] The rabbit chases the tiger.[(triple12)] The rabbit is kind.[(triple13)] The tiger is not blue.[(triple14)] The tiger is red.[(triple15)] @1: The tiger eats the bald eagle.[(((triple10 triple12) -> rule5) OR ((((triple6 triple7) -> rule4) triple12) -> rule5))] The tiger sees the rabbit.[(((triple6 triple7) -> rule4))] @2: The tiger does not chase the mouse.[(((((triple10 triple12) -> rule5) triple15) -> rule8) OR ((((((triple6 triple7) -> rule4) triple12) -> rule5) triple15) -> rule8))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
triple4
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
triple5
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple6
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple7
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple8
The mouse is not red.
("mouse" "is" "red" "-")
triple9
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple10
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple11
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple12
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple13
The tiger is not blue.
("tiger" "is" "blue" "-")
triple14
The tiger is red.
("tiger" "is" "red" "+")
triple15
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((triple10 triple12) -> (rule5 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
((((triple6 triple7) -> (rule4 % int2)) triple12) -> (rule5 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
((triple6 triple7) -> (rule4 % int1))
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int1
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
((((triple10 triple12) -> (rule5 % int2)) triple15) -> (rule8 % int1))
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
((((((triple6 triple7) -> (rule4 % int3)) triple12) -> (rule5 % int2)) triple15) -> (rule8 % int1))
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3