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