Bob is red. Charlie is nice. Erin is young. Fiona is round. If something is nice then it is round. All young things are round. All red things are not rough. All kind things are rough. If something is nice and rough then it is not green. If something is young and not nice then it is not green. If Erin is young then Erin is red. If something is kind then it is not red.
Fiona is not rough.
@0: Bob is red.[(triple1)] Charlie is nice.[(triple2)] Erin is young.[(triple3)] Fiona is round.[(triple4)] @1: Bob is not rough.[(((triple1) -> rule3))] Charlie is round.[(((triple2) -> rule1))] Erin is red.[(((triple3) -> rule7))] Erin is round.[(((triple3) -> rule2))] @2: Erin is not rough.[(((((triple3) -> rule7)) -> rule3))]