The cat eats the lion. The cat is red. The lion does not chase the tiger. The lion is round. The lion likes the tiger. The tiger chases the lion. The tiger eats the cat. If something likes the tiger then the tiger is cold.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is red.
("cat" "is" "red" "+")
The lion does not chase the tiger.
("lion" "chases" "tiger" "-")
The lion is round.
("lion" "is" "round" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
If something likes the tiger then the tiger is cold.
((("something" "likes" "tiger" "+")) -> ("tiger" "is" "cold" "+"))
The lion likes the tiger.
True
1
proof
[(triple5)]
("lion" "likes" "tiger" "+")
triple5
The tiger does not chase the lion.
False
1
inv-proof
[(triple6)]
("tiger" "chases" "lion" "-")
triple6
The tiger is cold.
True
2
proof
[(((triple5) -> rule1))]
("tiger" "is" "cold" "+")
((triple5) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is not cold.
False
2
inv-proof
[(((triple5) -> rule1))]
("tiger" "is" "cold" "-")
((triple5) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The tiger likes the lion.
Unknown
random
[@0: The tiger likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "lion" "+")
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The cat eats the lion.[(triple1)] The cat is red.[(triple2)] The lion does not chase the tiger.[(triple3)] The lion is round.[(triple4)] The lion likes the tiger.[(triple5)] The tiger chases the lion.[(triple6)] The tiger eats the cat.[(triple7)] @1: The tiger is cold.[(((triple5) -> rule1))]
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The lion does not chase the tiger.
("lion" "chases" "tiger" "-")
triple3
The lion is round.
("lion" "is" "round" "+")
triple4
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple5
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple6
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple7
The tiger is cold.
("tiger" "is" "cold" "+")
((triple5) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1