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