Charlie is blue. Charlie is nice. Charlie is quiet. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is rough. Harry is big. Harry is green. Harry is nice. Harry is quiet. Harry is young. All young things are blue. All big things are blue. If something is blue then it is quiet. If something is young and nice then it is big. If Fiona is young then Fiona is blue. If something is blue then it is big.
Charlie is young.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3 OR ((triple1) -> rule3))] Fiona is blue.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6 OR ((triple4) -> rule3))] Fiona is rough.[(triple7)] Harry is big.[(triple8 OR ((triple12 triple10) -> rule4) OR ((((triple12) -> rule1)) -> rule6))] Harry is green.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11 OR ((((triple12) -> rule1)) -> rule3) OR ((((triple8) -> rule2)) -> rule3) OR ((((((triple12 triple10) -> rule4)) -> rule2)) -> rule3))] Harry is young.[(triple12)] @1: Charlie is big.[(((triple1) -> rule6))] Fiona is big.[(((triple4) -> rule6))] Harry is blue.[(((triple12) -> rule1) OR ((triple8) -> rule2) OR ((((triple12 triple10) -> rule4)) -> rule2))]