The cat is big. The cat is cold. The cat is green. The cat is round. The cat is young. If the cat is big then the cat is round. If the cat is round and the cat is green then the cat is big. If someone is young then they are cold. If someone is cold and green then they are big. If someone is green then they are big. If someone is big and young then they are round.
The cat is not cold.
@0: The cat is big.[(triple1 OR ((triple3) -> rule5) OR ((triple2 triple3) -> rule4) OR ((triple4 triple3) -> rule2) OR ((((triple5) -> rule3) triple3) -> rule4))] The cat is cold.[(triple2 OR ((triple5) -> rule3))] The cat is green.[(triple3)] The cat is round.[(triple4 OR ((triple1) -> rule1) OR ((triple1 triple5) -> rule6) OR ((((triple3) -> rule5)) -> rule1) OR ((((triple2 triple3) -> rule4)) -> rule1) OR ((((triple3) -> rule5) triple5) -> rule6) OR ((((triple2 triple3) -> rule4) triple5) -> rule6) OR ((((((triple5) -> rule3) triple3) -> rule4)) -> rule1) OR ((((((triple5) -> rule3) triple3) -> rule4) triple5) -> rule6))] The cat is young.[(triple5)]