The tiger is blue. The tiger is green. The tiger is kind. The tiger is nice. The tiger is rough. If the tiger is rough and the tiger is green then the tiger is kind. If the tiger is rough then the tiger is kind. If the tiger is blue and the tiger is kind then the tiger is nice.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If the tiger is rough and the tiger is green then the tiger is kind.
((("tiger" "is" "rough" "+") ("tiger" "is" "green" "+")) -> ("tiger" "is" "kind" "+"))
If the tiger is rough then the tiger is kind.
((("tiger" "is" "rough" "+")) -> ("tiger" "is" "kind" "+"))
If the tiger is blue and the tiger is kind then the tiger is nice.
((("tiger" "is" "blue" "+") ("tiger" "is" "kind" "+")) -> ("tiger" "is" "nice" "+"))
The tiger is blue.
True
1
proof
[(triple1)]
("tiger" "is" "blue" "+")
triple1
The tiger is not green.
False
1
inv-proof
[(triple2)]
("tiger" "is" "green" "-")
triple2
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The tiger is blue.[(triple1)] The tiger is green.[(triple2)] The tiger is kind.[(triple3 OR ((triple5) -> rule2) OR ((triple5 triple2) -> rule1))] The tiger is nice.[(triple4 OR ((triple1 triple3) -> rule3) OR ((triple1 ((triple5) -> rule2)) -> rule3) OR ((triple1 ((triple5 triple2) -> rule1)) -> rule3))] The tiger is rough.[(triple5)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is kind.
("tiger" "is" "kind" "+")
triple3
((triple5) -> (rule2 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((triple5 triple2) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
triple4
((triple1 triple3) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
((triple1 ((triple5) -> (rule2 % int2))) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((triple1 ((triple5 triple2) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
triple5