The cat chases the lion. The cat is green. The lion chases the cat. The lion does not eat the mouse. The lion eats the tiger. The lion likes the tiger. The mouse chases the lion. The mouse eats the tiger. The mouse is kind. The mouse likes the cat. The tiger chases the mouse. The tiger is cold. All blue, kind things are red. If something eats the cat and it chases the lion then the cat eats the mouse. If something chases the lion and the lion is not green then it does not like the mouse. If something likes the tiger then the tiger eats the lion. If something likes the mouse then the mouse chases the lion. If something chases the cat then the cat is not cold.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is green.
("cat" "is" "green" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
All blue, kind things are red.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something eats the cat and it chases the lion then the cat eats the mouse.
((("something" "eats" "cat" "+") ("something" "chases" "lion" "+")) -> ("cat" "eats" "mouse" "+"))
If something chases the lion and the lion is not green then it does not like the mouse.
((("something" "chases" "lion" "+") ("lion" "is" "green" "~")) -> ("something" "likes" "mouse" "-"))
If something likes the tiger then the tiger eats the lion.
((("something" "likes" "tiger" "+")) -> ("tiger" "eats" "lion" "+"))
If something likes the mouse then the mouse chases the lion.
((("something" "likes" "mouse" "+")) -> ("mouse" "chases" "lion" "+"))
If something chases the cat then the cat is not cold.
((("something" "chases" "cat" "+")) -> ("cat" "is" "cold" "-"))
The lion eats the tiger.
True
1
proof
[(triple5)]
("lion" "eats" "tiger" "+")
triple5
The mouse does not eat the tiger.
False
1
inv-proof
[(triple8)]
("mouse" "eats" "tiger" "-")
triple8
The tiger eats the lion.
True
2
proof
[(((triple6) -> rule4))]
("tiger" "eats" "lion" "+")
((triple6) -> (rule4 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1
The cat is cold.
False
2
inv-proof
[(((triple3) -> rule6))]
("cat" "is" "cold" "+")
((triple3) -> (rule6 % int1))
The cat is not cold.
("cat" "is" "cold" "-")
int1
The mouse is not red.
Unknown
inv-rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "red" "-")
The tiger is red.
Unknown
rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "red" "+")
The cat does not eat the lion.
Unknown
inv-random
[@0: The cat eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "lion" "-")
The cat chases the tiger.
Unknown
random
[@0: The cat chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "tiger" "+")
@0: The cat chases the lion.[(triple1)] The cat is green.[(triple2)] The lion chases the cat.[(triple3)] The lion does not eat the mouse.[(triple4)] The lion eats the tiger.[(triple5)] The lion likes the tiger.[(triple6)] The mouse chases the lion.[(triple7)] The mouse eats the tiger.[(triple8)] The mouse is kind.[(triple9)] The mouse likes the cat.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger is cold.[(triple12)] @1: The cat is not cold.[(((triple3) -> rule6))] The tiger eats the lion.[(((triple6) -> rule4))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The lion chases the cat.
("lion" "chases" "cat" "+")
triple3
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
triple4
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple5
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple6
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple7
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple10
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The cat is not cold.
("cat" "is" "cold" "-")
((triple3) -> (rule6 % int1))
The cat is not cold.
("cat" "is" "cold" "-")
int1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
((triple6) -> (rule4 % int1))
The tiger eats the lion.
("tiger" "eats" "lion" "+")
int1