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