The lion does not chase the tiger. The lion is big. The lion is green. The lion is not kind. The lion likes the tiger. The lion visits the tiger. The tiger chases the lion. The tiger is cold. The tiger likes the lion. The tiger visits the lion. If something visits the tiger then it is round.
The lion does not chase the tiger.
("lion" "chases" "tiger" "-")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If something visits the tiger then it is round.
((("something" "visits" "tiger" "+")) -> ("something" "is" "round" "+"))
The tiger is cold.
True
1
proof
[(triple8)]
("tiger" "is" "cold" "+")
triple8
The tiger does not like the lion.
False
1
inv-proof
[(triple9)]
("tiger" "likes" "lion" "-")
triple9
The lion is round.
True
2
proof
[(((triple6) -> rule1))]
("lion" "is" "round" "+")
((triple6) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is not round.
False
2
inv-proof
[(((triple6) -> rule1))]
("lion" "is" "round" "-")
((triple6) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "round" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The lion does not chase the tiger.[(triple1)] The lion is big.[(triple2)] The lion is green.[(triple3)] The lion is not kind.[(triple4)] The lion likes the tiger.[(triple5)] The lion visits the tiger.[(triple6)] The tiger chases the lion.[(triple7)] The tiger is cold.[(triple8)] The tiger likes the lion.[(triple9)] The tiger visits the lion.[(triple10)] @1: The lion is round.[(((triple6) -> rule1))]
The lion does not chase the tiger.
("lion" "chases" "tiger" "-")
triple1
The lion is big.
("lion" "is" "big" "+")
triple2
The lion is green.
("lion" "is" "green" "+")
triple3
The lion is not kind.
("lion" "is" "kind" "-")
triple4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple5
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple6
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
triple8
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple9
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple10
The lion is round.
("lion" "is" "round" "+")
((triple6) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1