The tiger is blue. If someone is blue then they are cold. If the tiger is green and the tiger is not young then the tiger is cold. If the tiger is cold then the tiger is green.
The tiger is blue.
("tiger" "is" "blue" "+")
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If the tiger is green and the tiger is not young then the tiger is cold.
((("tiger" "is" "green" "+") ("tiger" "is" "young" "~")) -> ("tiger" "is" "cold" "+"))
If the tiger is cold then the tiger is green.
((("tiger" "is" "cold" "+")) -> ("tiger" "is" "green" "+"))
The tiger is blue.
True
1
proof
[(triple1)]
("tiger" "is" "blue" "+")
triple1
The tiger is not blue.
False
1
inv-proof
[(triple1)]
("tiger" "is" "blue" "-")
triple1
The tiger is cold.
True
2
proof
[(((triple1) -> rule1))]
("tiger" "is" "cold" "+")
((triple1) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is not cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("tiger" "is" "cold" "-")
((triple1) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is green.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("tiger" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger is not green.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("tiger" "is" "green" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The tiger is blue.[(triple1)] @1: The tiger is cold.[(((triple1) -> rule1))] @2: The tiger is green.[(((((triple1) -> rule1)) -> rule3))]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple1) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2