Bob is green. Bob is quiet. Bob is young. Charlie is big. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is smart. Fiona is cold. Gary is blue. Gary is green. Gary is young. Green, cold things are big. Blue things are cold. Big things are smart.
Fiona is green.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Bob is young.[(triple3)] Charlie is big.[(triple4 OR ((triple6 triple5) -> rule1))] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is quiet.[(triple7)] Charlie is smart.[(triple8 OR ((triple4) -> rule3) OR ((((triple6 triple5) -> rule1)) -> rule3))] Fiona is cold.[(triple9)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is young.[(triple12)] @1: Gary is cold.[(((triple10) -> rule2))] @2: Gary is big.[(((triple11 ((triple10) -> rule2)) -> rule1))] @3: Gary is smart.[(((((triple11 ((triple10) -> rule2)) -> rule1)) -> rule3))]