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