The tiger is big. The tiger is cold. The tiger is kind. The tiger is red. The tiger is young. If something is big and not red then it is cold. Kind, red things are cold. If something is cold and not red then it is not young.
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something is big and not red then it is cold.
((("something" "is" "big" "+") ("something" "is" "red" "~")) -> ("something" "is" "cold" "+"))
Kind, red things are cold.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If something is cold and not red then it is not young.
((("something" "is" "cold" "+") ("something" "is" "red" "~")) -> ("something" "is" "young" "-"))
The tiger is big.
True
1
proof
[(triple1)]
("tiger" "is" "big" "+")
triple1
The tiger is not 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 needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The tiger is big.[(triple1)] The tiger is cold.[(triple2 OR ((triple3 triple4) -> rule2))] The tiger is kind.[(triple3)] The tiger is red.[(triple4)] The tiger is young.[(triple5)]
The tiger is big.
("tiger" "is" "big" "+")
triple1
The tiger is cold.
("tiger" "is" "cold" "+")
triple2
((triple3 triple4) -> (rule2 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
triple3
The tiger is red.
("tiger" "is" "red" "+")
triple4
The tiger is young.
("tiger" "is" "young" "+")
triple5