The cat chases the lion. The cat eats the mouse. The cat is blue. The cat is cold. The cat sees the lion. The cat sees the mouse. The lion chases the mouse. The lion is cold. The lion is green. The lion is round. The lion sees the mouse. The mouse chases the lion. The mouse is blue. The mouse is cold. The mouse is green. If someone eats the mouse then they are young. If someone chases the mouse and the mouse eats the cat then they eat the lion.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is round.
("lion" "is" "round" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
If someone eats the mouse then they are young.
((("someone" "eats" "mouse" "+")) -> ("someone" "is" "young" "+"))
If someone chases the mouse and the mouse eats the cat then they eat the lion.
((("someone" "chases" "mouse" "+") ("mouse" "eats" "cat" "+")) -> ("someone" "eats" "lion" "+"))
The lion sees the mouse.
True
1
proof
[(triple11)]
("lion" "sees" "mouse" "+")
triple11
The lion is not green.
False
1
inv-proof
[(triple9)]
("lion" "is" "green" "-")
triple9
The cat is young.
True
2
proof
[(((triple2) -> rule1))]
("cat" "is" "young" "+")
((triple2) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "is" "young" "-")
((triple2) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The lion is not young.
Unknown
inv-rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "young" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "eats" "lion" "+")
The mouse is not round.
Unknown
inv-random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "-")
The lion eats the cat.
Unknown
random
[@0: The lion eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "cat" "+")
@0: The cat chases the lion.[(triple1)] The cat eats the mouse.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat sees the lion.[(triple5)] The cat sees the mouse.[(triple6)] The lion chases the mouse.[(triple7)] The lion is cold.[(triple8)] The lion is green.[(triple9)] The lion is round.[(triple10)] The lion sees the mouse.[(triple11)] The mouse chases the lion.[(triple12)] The mouse is blue.[(triple13)] The mouse is cold.[(triple14)] The mouse is green.[(triple15)] @1: The cat is young.[(((triple2) -> rule1))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat sees the lion.
("cat" "sees" "lion" "+")
triple5
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple6
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion is round.
("lion" "is" "round" "+")
triple10
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple11
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple12
The mouse is blue.
("mouse" "is" "blue" "+")
triple13
The mouse is cold.
("mouse" "is" "cold" "+")
triple14
The mouse is green.
("mouse" "is" "green" "+")
triple15
The cat is young.
("cat" "is" "young" "+")
((triple2) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1