Charlie is cold. Charlie is red. Dave is kind. Dave is red. Erin is cold. Erin is red. Fiona is young. If something is kind then it is red. If Charlie is cold then Charlie is big. If Charlie is big and Charlie is red then Charlie is round. If something is kind then it is big. If something is young and big then it is cold. Red, young things are smart.
Fiona is not cold.
@0: Charlie is cold.[(triple1)] Charlie is red.[(triple2)] Dave is kind.[(triple3)] Dave is red.[(triple4 OR ((triple3) -> rule1))] Erin is cold.[(triple5)] Erin is red.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is big.[(((triple1) -> rule2))] Dave is big.[(((triple3) -> rule4))] @2: Charlie is round.[(((((triple1) -> rule2) triple2) -> rule3))]