Bob is rough. Bob is young. Charlie is rough. Charlie is round. Erin is kind. Erin is rough. Fiona is cold. All cold, kind people are young. All rough people are kind. All round people are young. If someone is round and young then they are green. All green people are red. Red people are rough.
Fiona is not kind.
@0: Bob is rough.[(triple1)] Bob is young.[(triple2)] Charlie is rough.[(triple3 OR ((((((triple4 ((triple4) -> rule3)) -> rule4)) -> rule5)) -> rule6))] Charlie is round.[(triple4)] Erin is kind.[(triple5 OR ((triple6) -> rule2))] Erin is rough.[(triple6)] Fiona is cold.[(triple7)] @1: Bob is kind.[(((triple1) -> rule2))] Charlie is kind.[(((triple3) -> rule2) OR ((((((((triple4 ((triple4) -> rule3)) -> rule4)) -> rule5)) -> rule6)) -> rule2))] Charlie is young.[(((triple4) -> rule3))] @2: Charlie is green.[(((triple4 ((triple4) -> rule3)) -> rule4))] @3: Charlie is red.[(((((triple4 ((triple4) -> rule3)) -> rule4)) -> rule5))]