Charlie is blue. Charlie is cold. Charlie is red. Charlie is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is red. Fiona is smart. Fiona is white. White people are rough. Rough, white people are smart. All rough, white people are cold.
Fiona is rough.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((((triple4) -> rule1) triple4) -> rule3))] Charlie is red.[(triple3)] Charlie is white.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6 OR ((((triple10) -> rule1) triple10) -> rule3))] Fiona is furry.[(triple7)] Fiona is red.[(triple8)] Fiona is smart.[(triple9 OR ((((triple10) -> rule1) triple10) -> rule2))] Fiona is white.[(triple10)] @1: Charlie is rough.[(((triple4) -> rule1))] Fiona is rough.[(((triple10) -> rule1))] @2: Charlie is smart.[(((((triple4) -> rule1) triple4) -> rule2))]