The cat is blue. The cat is cold. The cat is red. The cat is rough. The cat is young. If the cat is red and the cat is blue then the cat is cold. All red people are cold. If someone is red then they are young. All young, rough people are blue. Blue, young people are red. Blue, red people are rough. All red, blue people are cold. If someone is red and young then they are cold.
The cat needs the cat.
@0: The cat is blue.[(triple1 OR ((triple5 triple4) -> rule4) OR ((((triple3) -> rule3) triple4) -> rule4))] The cat is cold.[(triple2 OR ((triple3) -> rule2) OR ((triple3 triple1) -> rule1) OR ((triple3 triple1) -> rule7) OR ((triple3 triple5) -> rule8) OR ((((triple1 triple5) -> rule5)) -> rule2) OR ((triple3 ((triple3) -> rule3)) -> rule8) OR ((triple3 ((triple5 triple4) -> rule4)) -> rule1) OR ((triple3 ((triple5 triple4) -> rule4)) -> rule7) OR ((((triple1 triple5) -> rule5) triple1) -> rule1) OR ((((triple1 triple5) -> rule5) triple1) -> rule7) OR ((((triple1 triple5) -> rule5) triple5) -> rule8) OR ((((triple1 triple5) -> rule5) ((triple3) -> rule3)) -> rule8) OR ((((triple1 triple5) -> rule5) ((triple5 triple4) -> rule4)) -> rule1) OR ((((triple1 triple5) -> rule5) ((triple5 triple4) -> rule4)) -> rule7) OR ((((((triple5 triple4) -> rule4) triple5) -> rule5)) -> rule2) OR ((triple3 ((((triple3) -> rule3) triple4) -> rule4)) -> rule1) OR ((triple3 ((((triple3) -> rule3) triple4) -> rule4)) -> rule7) OR ((((((triple5 triple4) -> rule4) triple5) -> rule5) triple1) -> rule1) OR ((((((triple5 triple4) -> rule4) triple5) -> rule5) triple1) -> rule7) OR ((((((triple5 triple4) -> rule4) triple5) -> rule5) triple5) -> rule8) OR ((((triple1 triple5) -> rule5) ((((triple3) -> rule3) triple4) -> rule4)) -> rule1) OR ((((triple1 triple5) -> rule5) ((((triple3) -> rule3) triple4) -> rule4)) -> rule7) OR ((((((triple5 triple4) -> rule4) triple5) -> rule5) ((triple3) -> rule3)) -> rule8) OR ((((((triple5 triple4) -> rule4) triple5) -> rule5) ((triple5 triple4) -> rule4)) -> rule1) OR ((((((triple5 triple4) -> rule4) triple5) -> rule5) ((triple5 triple4) -> rule4)) -> rule7) OR ((((((triple5 triple4) -> rule4) triple5) -> rule5) ((((triple3) -> rule3) triple4) -> rule4)) -> rule1) OR ((((((triple5 triple4) -> rule4) triple5) -> rule5) ((((triple3) -> rule3) triple4) -> rule4)) -> rule7))] The cat is red.[(triple3 OR ((triple1 triple5) -> rule5) OR ((((triple5 triple4) -> rule4) triple5) -> rule5))] The cat is rough.[(triple4 OR ((triple1 triple3) -> rule6) OR ((triple1 ((triple1 triple5) -> rule5)) -> rule6))] The cat is young.[(triple5 OR ((triple3) -> rule3))]