The tiger is green. The tiger is kind. The tiger is red. The tiger is rough. The tiger is round. All red, rough people are kind. All green, red people are kind. If someone is rough and kind then they are round. Kind people are rough. All red, round people are kind. All kind people are green.
The tiger is rough.
@0: The tiger is green.[(triple1 OR ((triple2) -> rule6) OR ((((triple3 triple4) -> rule1)) -> rule6) OR ((((triple3 triple5) -> rule5)) -> rule6))] The tiger is kind.[(triple2 OR ((triple1 triple3) -> rule2) OR ((triple3 triple4) -> rule1) OR ((triple3 triple5) -> rule5))] The tiger is red.[(triple3)] The tiger is rough.[(triple4 OR ((triple2) -> rule4) OR ((((triple1 triple3) -> rule2)) -> rule4) OR ((((triple3 triple5) -> rule5)) -> rule4))] The tiger is round.[(triple5 OR ((triple4 triple2) -> rule3) OR ((triple4 ((triple1 triple3) -> rule2)) -> rule3) OR ((triple4 ((triple3 triple4) -> rule1)) -> rule3) OR ((((triple2) -> rule4) triple2) -> rule3) OR ((((triple2) -> rule4) ((triple1 triple3) -> rule2)) -> rule3) OR ((((triple2) -> rule4) ((triple3 triple4) -> rule1)) -> rule3) OR ((((((triple1 triple3) -> rule2)) -> rule4) triple2) -> rule3) OR ((((((triple1 triple3) -> rule2)) -> rule4) ((triple1 triple3) -> rule2)) -> rule3) OR ((((((triple1 triple3) -> rule2)) -> rule4) ((triple3 triple4) -> rule1)) -> rule3))]