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