The tiger is blue. The tiger is green. The tiger is nice. The tiger is rough. The tiger is young. All blue people are rough. If someone is rough then they are young.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
All blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
The tiger is green.
True
1
proof
[(triple2)]
("tiger" "is" "green" "+")
triple2
The tiger is not blue.
False
1
inv-proof
[(triple1)]
("tiger" "is" "blue" "-")
triple1
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The tiger is blue.[(triple1)] The tiger is green.[(triple2)] The tiger is nice.[(triple3)] The tiger is rough.[(triple4 OR ((triple1) -> rule1))] The tiger is young.[(triple5 OR ((triple4) -> rule2) OR ((((triple1) -> rule1)) -> rule2))]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is nice.
("tiger" "is" "nice" "+")
triple3
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
((triple1) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
triple5
((triple4) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2