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