The lion chases the tiger. The lion is kind. The lion is rough. The lion visits the mouse. The lion visits the tiger. The mouse chases the lion. The mouse is blue. The mouse likes the lion. The mouse visits the lion. The mouse visits the tiger. The tiger chases the lion. The tiger likes the lion. If someone chases the tiger then they are big.
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If someone chases the tiger then they are big.
((("someone" "chases" "tiger" "+")) -> ("someone" "is" "big" "+"))
The tiger chases the lion.
True
1
proof
[(triple11)]
("tiger" "chases" "lion" "+")
triple11
The mouse does not chase the lion.
False
1
inv-proof
[(triple6)]
("mouse" "chases" "lion" "-")
triple6
The lion is big.
True
2
proof
[(((triple1) -> rule1))]
("lion" "is" "big" "+")
((triple1) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is not big.
False
2
inv-proof
[(((triple1) -> rule1))]
("lion" "is" "big" "-")
((triple1) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The tiger is not big.
Unknown
inv-rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "big" "-")
The mouse is big.
Unknown
rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "big" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The lion chases the mouse.
Unknown
random
[@0: The lion chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "mouse" "+")
@0: The lion chases the tiger.[(triple1)] The lion is kind.[(triple2)] The lion is rough.[(triple3)] The lion visits the mouse.[(triple4)] The lion visits the tiger.[(triple5)] The mouse chases the lion.[(triple6)] The mouse is blue.[(triple7)] The mouse likes the lion.[(triple8)] The mouse visits the lion.[(triple9)] The mouse visits the tiger.[(triple10)] The tiger chases the lion.[(triple11)] The tiger likes the lion.[(triple12)] @1: The lion is big.[(((triple1) -> rule1))]
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion is rough.
("lion" "is" "rough" "+")
triple3
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple4
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple5
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple6
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple8
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple9
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple10
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple11
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple12
The lion is big.
("lion" "is" "big" "+")
((triple1) -> (rule1 % int1))
The lion is big.
("lion" "is" "big" "+")
int1