The lion chases the tiger. The lion eats the tiger. The lion is blue. The lion is cold. The lion is kind. The lion is round. The lion visits the tiger. The tiger chases the lion. The tiger eats the lion. The tiger is big. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is round. The tiger visits the lion. If something visits the lion then it chases the tiger. If something chases the lion then the lion chases the tiger. If something is cold and not blue then it is big. If something eats the tiger and it does not eat the lion then the lion is kind. If something eats the lion then it eats the tiger. If something eats the lion then it is cold.
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If something visits the lion then it chases the tiger.
((("something" "visits" "lion" "+")) -> ("something" "chases" "tiger" "+"))
If something chases the lion then the lion chases the tiger.
((("something" "chases" "lion" "+")) -> ("lion" "chases" "tiger" "+"))
If something is cold and not blue then it is big.
((("something" "is" "cold" "+") ("something" "is" "blue" "~")) -> ("something" "is" "big" "+"))
If something eats the tiger and it does not eat the lion then the lion is kind.
((("something" "eats" "tiger" "+") ("something" "eats" "lion" "~")) -> ("lion" "is" "kind" "+"))
If something eats the lion then it eats the tiger.
((("something" "eats" "lion" "+")) -> ("something" "eats" "tiger" "+"))
If something eats the lion then it is cold.
((("something" "eats" "lion" "+")) -> ("something" "is" "cold" "+"))
The lion chases the tiger.
True
1
proof
[(triple1 OR ((triple8) -> rule2))]
("lion" "chases" "tiger" "+")
triple1
((triple8) -> (rule2 % int1))
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int1
The tiger is not round.
False
1
inv-proof
[(triple14)]
("tiger" "is" "round" "-")
triple14
The tiger chases the tiger.
True
2
proof
[(((triple15) -> rule1))]
("tiger" "chases" "tiger" "+")
((triple15) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger does not eat the tiger.
False
2
inv-proof
[(((triple9) -> rule5))]
("tiger" "eats" "tiger" "-")
((triple9) -> (rule5 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The lion is not big.
Unknown
inv-rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "big" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The lion chases the tiger.[(triple1 OR ((triple8) -> rule2))] The lion eats the tiger.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is kind.[(triple5)] The lion is round.[(triple6)] The lion visits the tiger.[(triple7)] The tiger chases the lion.[(triple8)] The tiger eats the lion.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is cold.[(triple12 OR ((triple9) -> rule6))] The tiger is kind.[(triple13)] The tiger is round.[(triple14)] The tiger visits the lion.[(triple15)] @1: The tiger chases the tiger.[(((triple15) -> rule1))] The tiger eats the tiger.[(((triple9) -> rule5))]
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple1
((triple8) -> (rule2 % int1))
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple3
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple7
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple8
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
((triple9) -> (rule6 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple15
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple15) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple9) -> (rule5 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1