The cat is big. The cat is cold. The cat is kind. The cat is red. The cat is young. Cold people are young. If the cat is big then the cat is young. Young people are kind. If someone is big and red then they are kind. Big, cold people are young. Cold, young people are big. If someone is cold and red then they are big. If someone is red then they are big.
The cat is cold.
@0: The cat is big.[(triple1 OR ((triple4) -> rule8) OR ((triple2 triple4) -> rule7) OR ((triple2 triple5) -> rule6) OR ((triple2 ((triple2) -> rule1)) -> rule6))] The cat is cold.[(triple2)] The cat is kind.[(triple3 OR ((triple5) -> rule3) OR ((triple1 triple4) -> rule4) OR ((((triple1) -> rule2)) -> rule3) OR ((((triple2) -> rule1)) -> rule3) OR ((((triple1 triple2) -> rule5)) -> rule3) OR ((((triple4) -> rule8) triple4) -> rule4) OR ((((triple2 triple4) -> rule7) triple4) -> rule4) OR ((((triple2 triple5) -> rule6) triple4) -> rule4) OR ((((((triple4) -> rule8)) -> rule2)) -> rule3) OR ((((((triple2 triple4) -> rule7)) -> rule2)) -> rule3) OR ((((((triple4) -> rule8) triple2) -> rule5)) -> rule3) OR ((((((triple2 triple4) -> rule7) triple2) -> rule5)) -> rule3) OR ((((triple2 ((triple2) -> rule1)) -> rule6) triple4) -> rule4))] The cat is red.[(triple4)] The cat is young.[(triple5 OR ((triple1) -> rule2) OR ((triple2) -> rule1) OR ((triple1 triple2) -> rule5) OR ((((triple4) -> rule8)) -> rule2) OR ((((triple2 triple4) -> rule7)) -> rule2) OR ((((triple4) -> rule8) triple2) -> rule5) OR ((((triple2 triple4) -> rule7) triple2) -> rule5))]