Charlie is nice. Fiona is big. Fiona is rough. All nice, kind people are cold. If someone is nice and cold then they are rough. All nice people are kind. All kind, big people are cold. If someone is green then they are cold. If someone is big then they are rough.
Fiona is nice.
@0: Charlie is nice.[(triple1)] Fiona is big.[(triple2)] Fiona is rough.[(triple3 OR ((triple2) -> rule6))] @1: Charlie is kind.[(((triple1) -> rule3))] @2: Charlie is cold.[(((triple1 ((triple1) -> rule3)) -> rule1))] @3: Charlie is rough.[(((triple1 ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2))]