The tiger is blue. The tiger is cold. The tiger is not green. The tiger is not red. The tiger is not young. If someone is young and red then they are cold. If someone is red and green then they are young. Red people are not young. If someone is young and green then they are red. All green, young people are blue. All young people are blue.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is not green.
("tiger" "is" "green" "-")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger is not young.
("tiger" "is" "young" "-")
If someone is young and red then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and green then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Red people are not young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "-"))
If someone is young and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All green, young people are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
All young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
The tiger is cold.
True
1
proof
[(triple2)]
("tiger" "is" "cold" "+")
triple2
The tiger is young.
False
1
inv-proof
[(triple5)]
("tiger" "is" "young" "+")
triple5
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The tiger is blue.[(triple1)] The tiger is cold.[(triple2)] The tiger is not green.[(triple3)] The tiger is not red.[(triple4)] The tiger is not young.[(triple5)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is cold.
("tiger" "is" "cold" "+")
triple2
The tiger is not green.
("tiger" "is" "green" "-")
triple3
The tiger is not red.
("tiger" "is" "red" "-")
triple4
The tiger is not young.
("tiger" "is" "young" "-")
triple5