The bald eagle chases the lion. The bald eagle chases the tiger. The bald eagle is nice. The bald eagle sees the tiger. The lion chases the tiger. The lion likes the mouse. The lion likes the tiger. The lion sees the bald eagle. The lion sees the mouse. The mouse is blue. The mouse is cold. The mouse likes the lion. The tiger is cold. The tiger is nice. The tiger is young. The tiger sees the bald eagle. If someone sees the lion then they see the bald eagle. If someone is cold and they see the bald eagle then they chase the bald eagle. If the bald eagle sees the tiger and the bald eagle chases the lion then the tiger is nice. If someone chases the bald eagle and they like the tiger then the bald eagle sees the lion. If someone is cold and they see the mouse then the mouse chases the bald eagle. Cold people are kind. If someone likes the tiger then the tiger chases the mouse. If the bald eagle chases the tiger then the bald eagle sees the tiger. If someone chases the tiger then they are cold.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone sees the lion then they see the bald eagle.
((("someone" "sees" "lion" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is cold and they see the bald eagle then they chase the bald eagle.
((("someone" "is" "cold" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
If the bald eagle sees the tiger and the bald eagle chases the lion then the tiger is nice.
((("bald eagle" "sees" "tiger" "+") ("bald eagle" "chases" "lion" "+")) -> ("tiger" "is" "nice" "+"))
If someone chases the bald eagle and they like the tiger then the bald eagle sees the lion.
((("someone" "chases" "bald eagle" "+") ("someone" "likes" "tiger" "+")) -> ("bald eagle" "sees" "lion" "+"))
If someone is cold and they see the mouse then the mouse chases the bald eagle.
((("someone" "is" "cold" "+") ("someone" "sees" "mouse" "+")) -> ("mouse" "chases" "bald eagle" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone likes the tiger then the tiger chases the mouse.
((("someone" "likes" "tiger" "+")) -> ("tiger" "chases" "mouse" "+"))
If the bald eagle chases the tiger then the bald eagle sees the tiger.
((("bald eagle" "chases" "tiger" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If someone chases the tiger then they are cold.
((("someone" "chases" "tiger" "+")) -> ("someone" "is" "cold" "+"))
The lion likes the tiger.
True
1
proof
[(triple7)]
("lion" "likes" "tiger" "+")
triple7
The lion does not like the tiger.
False
1
inv-proof
[(triple7)]
("lion" "likes" "tiger" "-")
triple7
The tiger chases the bald eagle.
True
3
proof
[(((triple13 triple16) -> rule2))]
("tiger" "chases" "bald eagle" "+")
((triple13 triple16) -> (rule2 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger does not chase the mouse.
False
2
inv-proof
[(((triple7) -> rule7))]
("tiger" "chases" "mouse" "-")
((triple7) -> (rule7 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The mouse chases the bald eagle.
True
4
proof
[(((((triple5) -> rule9) triple9) -> rule5))]
("mouse" "chases" "bald eagle" "+")
((((triple5) -> (rule9 % int2)) triple9) -> (rule5 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The mouse does not chase the bald eagle.
False
4
inv-proof
[(((((triple5) -> rule9) triple9) -> rule5))]
("mouse" "chases" "bald eagle" "-")
((((triple5) -> (rule9 % int2)) triple9) -> (rule5 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The bald eagle sees the lion.
True
6
proof
[(((((((triple5) -> rule9) triple8) -> rule2) triple7) -> rule4))]
("bald eagle" "sees" "lion" "+")
((((((triple5) -> (rule9 % int3)) triple8) -> (rule2 % int2)) triple7) -> (rule4 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The bald eagle does not see the lion.
False
6
inv-proof
[(((((((triple5) -> rule9) triple8) -> rule2) triple7) -> rule4))]
("bald eagle" "sees" "lion" "-")
((((((triple5) -> (rule9 % int3)) triple8) -> (rule2 % int2)) triple7) -> (rule4 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The bald eagle sees the bald eagle.
True
7
proof
[(((((((((triple5) -> rule9) triple8) -> rule2) triple7) -> rule4)) -> rule1))]
("bald eagle" "sees" "bald eagle" "+")
((((((((triple5) -> (rule9 % int4)) triple8) -> (rule2 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int3
The lion is cold.
("lion" "is" "cold" "+")
int4
The bald eagle does not see the bald eagle.
False
7
inv-proof
[(((((((((triple5) -> rule9) triple8) -> rule2) triple7) -> rule4)) -> rule1))]
("bald eagle" "sees" "bald eagle" "-")
((((((((triple5) -> (rule9 % int4)) triple8) -> (rule2 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int3
The lion is cold.
("lion" "is" "cold" "+")
int4
The bald eagle chases the bald eagle.
True
10
proof
[(((((triple2) -> rule9) ((((((((triple5) -> rule9) triple8) -> rule2) triple7) -> rule4)) -> rule1)) -> rule2))]
("bald eagle" "chases" "bald eagle" "+")
((((triple2) -> (rule9 % int6)) ((((((((triple5) -> (rule9 % int5)) triple8) -> (rule2 % int4)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int4
The lion is cold.
("lion" "is" "cold" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The bald eagle does not chase the bald eagle.
False
10
inv-proof
[(((((triple2) -> rule9) ((((((((triple5) -> rule9) triple8) -> rule2) triple7) -> rule4)) -> rule1)) -> rule2))]
("bald eagle" "chases" "bald eagle" "-")
((((triple2) -> (rule9 % int6)) ((((((((triple5) -> (rule9 % int5)) triple8) -> (rule2 % int4)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int4
The lion is cold.
("lion" "is" "cold" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The mouse does not see the bald eagle.
Unknown
inv-rconc
[@1: The mouse sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "bald eagle" "-")
The mouse sees the tiger.
Unknown
random
[@0: The mouse sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "tiger" "+")
The lion does not see the tiger.
Unknown
inv-random
[@0: The lion sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "tiger" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
The tiger does not like the mouse.
Unknown
inv-random
[@0: The tiger likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "mouse" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse does not chase the lion.
Unknown
inv-random
[@0: The mouse chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "lion" "-")
The tiger chases the lion.
Unknown
random
[@0: The tiger chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "lion" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
The mouse does not like the bald eagle.
Unknown
inv-random
[@0: The mouse likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bald eagle" "-")
The mouse chases the tiger.
Unknown
random
[@0: The mouse chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "tiger" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle sees the tiger.[(triple4 OR ((triple2) -> rule8))] The lion chases the tiger.[(triple5)] The lion likes the mouse.[(triple6)] The lion likes the tiger.[(triple7)] The lion sees the bald eagle.[(triple8)] The lion sees the mouse.[(triple9)] The mouse is blue.[(triple10)] The mouse is cold.[(triple11)] The mouse likes the lion.[(triple12)] The tiger is cold.[(triple13)] The tiger is nice.[(triple14 OR ((triple4 triple1) -> rule3) OR ((((triple2) -> rule8) triple1) -> rule3))] The tiger is young.[(triple15)] The tiger sees the bald eagle.[(triple16)] @1: The bald eagle is cold.[(((triple2) -> rule9))] The lion is cold.[(((triple5) -> rule9))] The mouse is kind.[(((triple11) -> rule6))] The tiger chases the bald eagle.[(((triple13 triple16) -> rule2))] The tiger chases the mouse.[(((triple7) -> rule7))] The tiger is kind.[(((triple13) -> rule6))] @2: The bald eagle is kind.[(((((triple2) -> rule9)) -> rule6))] The lion chases the bald eagle.[(((((triple5) -> rule9) triple8) -> rule2))] The lion is kind.[(((((triple5) -> rule9)) -> rule6))] The mouse chases the bald eagle.[(((((triple5) -> rule9) triple9) -> rule5))] @3: The bald eagle sees the lion.[(((((((triple5) -> rule9) triple8) -> rule2) triple7) -> rule4))] @4: The bald eagle sees the bald eagle.[(((((((((triple5) -> rule9) triple8) -> rule2) triple7) -> rule4)) -> rule1))] @5: The bald eagle chases the bald eagle.[(((((triple2) -> rule9) ((((((((triple5) -> rule9) triple8) -> rule2) triple7) -> rule4)) -> rule1)) -> rule2))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple4
((triple2) -> (rule8 % int1))
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple5
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple6
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple7
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple8
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple12
The tiger is cold.
("tiger" "is" "cold" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
((triple4 triple1) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
((((triple2) -> (rule8 % int2)) triple1) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
triple15
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple16
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple2) -> (rule9 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
((triple5) -> (rule9 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
((triple11) -> (rule6 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
((triple13 triple16) -> (rule2 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
((triple7) -> (rule7 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
((triple13) -> (rule6 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((triple2) -> (rule9 % int2))) -> (rule6 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
((((triple5) -> (rule9 % int2)) triple8) -> (rule2 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
((((triple5) -> (rule9 % int2))) -> (rule6 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
((((triple5) -> (rule9 % int2)) triple9) -> (rule5 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
((((((triple5) -> (rule9 % int3)) triple8) -> (rule2 % int2)) triple7) -> (rule4 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((((((triple5) -> (rule9 % int4)) triple8) -> (rule2 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int3
The lion is cold.
("lion" "is" "cold" "+")
int4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((triple2) -> (rule9 % int6)) ((((((((triple5) -> (rule9 % int5)) triple8) -> (rule2 % int4)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int4
The lion is cold.
("lion" "is" "cold" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6