Anne is big. Anne is blue. Anne is cold. Anne is red. Anne is young. Charlie is big. Charlie is red. Charlie is rough. Charlie is young. Fiona is green. Fiona is red. Fiona is young. If Charlie is rough then Charlie is red. Cold, young people are blue. All green, rough people are big. Red, rough people are cold. If someone is young and green then they are red. Cold people are green.
Charlie is big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3 triple5) -> rule2))] Anne is cold.[(triple3)] Anne is red.[(triple4 OR ((triple5 ((triple3) -> rule6)) -> rule5))] Anne is young.[(triple5)] Charlie is big.[(triple6 OR ((((((triple7 triple8) -> rule4)) -> rule6) triple8) -> rule3) OR ((((((((triple8) -> rule1) triple8) -> rule4)) -> rule6) triple8) -> rule3))] Charlie is red.[(triple7 OR ((triple8) -> rule1))] Charlie is rough.[(triple8)] Charlie is young.[(triple9)] Fiona is green.[(triple10)] Fiona is red.[(triple11 OR ((triple12 triple10) -> rule5))] Fiona is young.[(triple12)] @1: Anne is green.[(((triple3) -> rule6))] Charlie is cold.[(((triple7 triple8) -> rule4) OR ((((triple8) -> rule1) triple8) -> rule4))] @2: Charlie is blue.[(((((triple7 triple8) -> rule4) triple9) -> rule2) OR ((((((triple8) -> rule1) triple8) -> rule4) triple9) -> rule2))] Charlie is green.[(((((triple7 triple8) -> rule4)) -> rule6) OR ((((((triple8) -> rule1) triple8) -> rule4)) -> rule6))]