The cat is blue. The cat is cold. The cat is rough. The cat is round. The cat is young. If someone is blue and young then they are cold. All round people are cold. Round people are rough. Blue, rough people are cold. Rough, cold people are blue. Cold, blue people are young.
The cat does not like the cat.
@0: The cat is blue.[(triple1 OR ((triple3 triple2) -> rule5) OR ((triple3 ((triple4) -> rule2)) -> rule5) OR ((((triple4) -> rule3) triple2) -> rule5) OR ((((triple4) -> rule3) ((triple4) -> rule2)) -> rule5))] The cat is cold.[(triple2 OR ((triple4) -> rule2) OR ((triple1 triple3) -> rule4) OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple4) -> rule3)) -> rule4))] The cat is rough.[(triple3 OR ((triple4) -> rule3))] The cat is round.[(triple4)] The cat is young.[(triple5 OR ((triple2 triple1) -> rule6) OR ((triple2 ((triple3 triple2) -> rule5)) -> rule6) OR ((((triple4) -> rule2) triple1) -> rule6) OR ((((triple1 triple3) -> rule4) triple1) -> rule6) OR ((((triple4) -> rule2) ((triple3 triple2) -> rule5)) -> rule6) OR ((((triple1 triple3) -> rule4) ((triple3 triple2) -> rule5)) -> rule6) OR ((triple2 ((triple3 ((triple4) -> rule2)) -> rule5)) -> rule6) OR ((triple2 ((((triple4) -> rule3) triple2) -> rule5)) -> rule6) OR ((((triple1 ((triple4) -> rule3)) -> rule4) triple1) -> rule6) OR ((triple2 ((((triple4) -> rule3) ((triple4) -> rule2)) -> rule5)) -> rule6) OR ((((triple4) -> rule2) ((triple3 ((triple4) -> rule2)) -> rule5)) -> rule6) OR ((((triple4) -> rule2) ((((triple4) -> rule3) triple2) -> rule5)) -> rule6) OR ((((triple1 triple3) -> rule4) ((triple3 ((triple4) -> rule2)) -> rule5)) -> rule6) OR ((((triple1 triple3) -> rule4) ((((triple4) -> rule3) triple2) -> rule5)) -> rule6) OR ((((triple1 ((triple4) -> rule3)) -> rule4) ((triple3 triple2) -> rule5)) -> rule6) OR ((((triple4) -> rule2) ((((triple4) -> rule3) ((triple4) -> rule2)) -> rule5)) -> rule6) OR ((((triple1 triple3) -> rule4) ((((triple4) -> rule3) ((triple4) -> rule2)) -> rule5)) -> rule6) OR ((((triple1 ((triple4) -> rule3)) -> rule4) ((triple3 ((triple4) -> rule2)) -> rule5)) -> rule6) OR ((((triple1 ((triple4) -> rule3)) -> rule4) ((((triple4) -> rule3) triple2) -> rule5)) -> rule6) OR ((((triple1 ((triple4) -> rule3)) -> rule4) ((((triple4) -> rule3) ((triple4) -> rule2)) -> rule5)) -> rule6))]