The tiger is big. The tiger is blue. The tiger is green. The tiger is nice. The tiger is rough. All big people are nice. If the tiger is nice and the tiger is green then the tiger is rough. Big, green people are rough. All nice, green people are blue. If someone is nice and rough then they are blue. If someone is rough then they are nice. If someone is green then they are rough. All big people are rough.
The tiger is not green.
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2 OR ((triple4 triple3) -> rule4) OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple1) -> rule8)) -> rule5) OR ((triple4 ((triple3) -> rule7)) -> rule5) OR ((triple4 ((triple1 triple3) -> rule3)) -> rule5) OR ((triple4 ((triple4 triple3) -> rule2)) -> rule5) OR ((((triple1) -> rule1) triple3) -> rule4) OR ((((triple1) -> rule1) triple5) -> rule5) OR ((((triple5) -> rule6) triple3) -> rule4) OR ((((triple5) -> rule6) triple5) -> rule5) OR ((((triple1) -> rule1) ((triple1) -> rule8)) -> rule5) OR ((((triple1) -> rule1) ((triple3) -> rule7)) -> rule5) OR ((((triple1) -> rule1) ((triple1 triple3) -> rule3)) -> rule5) OR ((((triple1) -> rule1) ((triple4 triple3) -> rule2)) -> rule5) OR ((((triple5) -> rule6) ((triple1) -> rule8)) -> rule5) OR ((((triple5) -> rule6) ((triple3) -> rule7)) -> rule5) OR ((((triple5) -> rule6) ((triple1 triple3) -> rule3)) -> rule5) OR ((((triple5) -> rule6) ((triple4 triple3) -> rule2)) -> rule5) OR ((triple4 ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((((((triple1) -> rule8)) -> rule6) triple3) -> rule4) OR ((((((triple1) -> rule8)) -> rule6) triple5) -> rule5) OR ((((((triple3) -> rule7)) -> rule6) triple3) -> rule4) OR ((((((triple3) -> rule7)) -> rule6) triple5) -> rule5) OR ((((((triple1 triple3) -> rule3)) -> rule6) triple3) -> rule4) OR ((((((triple1 triple3) -> rule3)) -> rule6) triple5) -> rule5) OR ((((triple1) -> rule1) ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((((triple5) -> rule6) ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((((((triple1) -> rule8)) -> rule6) ((triple1) -> rule8)) -> rule5) OR ((((((triple1) -> rule8)) -> rule6) ((triple3) -> rule7)) -> rule5) OR ((((((triple1) -> rule8)) -> rule6) ((triple1 triple3) -> rule3)) -> rule5) OR ((((((triple1) -> rule8)) -> rule6) ((triple4 triple3) -> rule2)) -> rule5) OR ((((((triple3) -> rule7)) -> rule6) ((triple1) -> rule8)) -> rule5) OR ((((((triple3) -> rule7)) -> rule6) ((triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule7)) -> rule6) ((triple1 triple3) -> rule3)) -> rule5) OR ((((((triple3) -> rule7)) -> rule6) ((triple4 triple3) -> rule2)) -> rule5) OR ((((((triple1 triple3) -> rule3)) -> rule6) ((triple1) -> rule8)) -> rule5) OR ((((((triple1 triple3) -> rule3)) -> rule6) ((triple3) -> rule7)) -> rule5) OR ((((((triple1 triple3) -> rule3)) -> rule6) ((triple1 triple3) -> rule3)) -> rule5) OR ((((((triple1 triple3) -> rule3)) -> rule6) ((triple4 triple3) -> rule2)) -> rule5) OR ((((((triple1) -> rule8)) -> rule6) ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((((((triple3) -> rule7)) -> rule6) ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((((((triple1 triple3) -> rule3)) -> rule6) ((((triple1) -> rule1) triple3) -> rule2)) -> rule5))] The tiger is green.[(triple3)] The tiger is nice.[(triple4 OR ((triple1) -> rule1) OR ((triple5) -> rule6) OR ((((triple1) -> rule8)) -> rule6) OR ((((triple3) -> rule7)) -> rule6) OR ((((triple1 triple3) -> rule3)) -> rule6))] The tiger is rough.[(triple5 OR ((triple1) -> rule8) OR ((triple3) -> rule7) OR ((triple1 triple3) -> rule3) OR ((triple4 triple3) -> rule2) OR ((((triple1) -> rule1) triple3) -> rule2))]