The tiger is big. The tiger is blue. The tiger is nice. The tiger is red. The tiger is rough. Red, rough things are big. If the tiger is red then the tiger is rough. If something is red and big then it is nice. If something is blue and big then it is rough. If something is big then it is blue. If the tiger is nice then the tiger is big. If something is red and nice then it is big. All blue things are big.
The tiger is not red.
@0: The tiger is big.[(triple1 OR ((triple2) -> rule8) OR ((triple3) -> rule6) OR ((triple4 triple3) -> rule7) OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple4) -> rule2)) -> rule1))] The tiger is blue.[(triple2 OR ((triple1) -> rule5) OR ((((triple3) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule7)) -> rule5) OR ((((triple4 triple5) -> rule1)) -> rule5) OR ((((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5))] The tiger is nice.[(triple3 OR ((triple4 triple1) -> rule3) OR ((triple4 ((triple2) -> rule8)) -> rule3) OR ((triple4 ((triple4 triple5) -> rule1)) -> rule3) OR ((triple4 ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule3))] The tiger is red.[(triple4)] The tiger is rough.[(triple5 OR ((triple4) -> rule2) OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule8)) -> rule4) OR ((triple2 ((triple3) -> rule6)) -> rule4) OR ((triple2 ((triple4 triple3) -> rule7)) -> rule4) OR ((((triple1) -> rule5) triple1) -> rule4) OR ((((triple1) -> rule5) ((triple2) -> rule8)) -> rule4) OR ((((triple1) -> rule5) ((triple3) -> rule6)) -> rule4) OR ((((triple1) -> rule5) ((triple4 triple3) -> rule7)) -> rule4) OR ((((((triple3) -> rule6)) -> rule5) triple1) -> rule4) OR ((((((triple4 triple3) -> rule7)) -> rule5) triple1) -> rule4) OR ((((((triple3) -> rule6)) -> rule5) ((triple2) -> rule8)) -> rule4) OR ((((((triple3) -> rule6)) -> rule5) ((triple3) -> rule6)) -> rule4) OR ((((((triple3) -> rule6)) -> rule5) ((triple4 triple3) -> rule7)) -> rule4) OR ((((((triple4 triple3) -> rule7)) -> rule5) ((triple2) -> rule8)) -> rule4) OR ((((((triple4 triple3) -> rule7)) -> rule5) ((triple3) -> rule6)) -> rule4) OR ((((((triple4 triple3) -> rule7)) -> rule5) ((triple4 triple3) -> rule7)) -> rule4))]