The tiger is blue. The tiger is cold. The tiger is kind. The tiger is rough. The tiger is young. If someone is blue and not young then they are rough. All kind people are blue.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
If someone is blue and not young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "rough" "+"))
All kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
The tiger is cold.
True
1
proof
[(triple2)]
("tiger" "is" "cold" "+")
triple2
The tiger is not rough.
False
1
inv-proof
[(triple4)]
("tiger" "is" "rough" "-")
triple4
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 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 OR ((triple3) -> rule2))] The tiger is cold.[(triple2)] The tiger is kind.[(triple3)] The tiger is rough.[(triple4)] The tiger is young.[(triple5)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
((triple3) -> (rule2 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
triple2
The tiger is kind.
("tiger" "is" "kind" "+")
triple3
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
The tiger is young.
("tiger" "is" "young" "+")
triple5