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