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