The tiger is cold. The tiger is green. The tiger is red. If the tiger is cold then the tiger is round. All cold, young people are red.
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
If the tiger is cold then the tiger is round.
((("tiger" "is" "cold" "+")) -> ("tiger" "is" "round" "+"))
All cold, young people are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
The tiger is cold.
True
1
proof
[(triple1)]
("tiger" "is" "cold" "+")
triple1
The tiger is not green.
False
1
inv-proof
[(triple2)]
("tiger" "is" "green" "-")
triple2
The tiger is round.
True
2
proof
[(((triple1) -> rule1))]
("tiger" "is" "round" "+")
((triple1) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("tiger" "is" "round" "-")
((triple1) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
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 young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
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 cold.[(triple1)] The tiger is green.[(triple2)] The tiger is red.[(triple3)] @1: The tiger is round.[(((triple1) -> rule1))]
The tiger is cold.
("tiger" "is" "cold" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is red.
("tiger" "is" "red" "+")
triple3
The tiger is round.
("tiger" "is" "round" "+")
((triple1) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1