Bob is young. Erin is quiet. Fiona is rough. Gary is smart. If something is quiet and not smart then it is rough. Young things are red. If something is quiet and smart then it is red. If something is quiet then it is red. Young, rough things are round. Quiet things are not round. If something is red then it is kind. If Bob is quiet and Bob is not red then Bob is round.
Gary is young.
@0: Bob is young.[(triple1)] Erin is quiet.[(triple2)] Fiona is rough.[(triple3)] Gary is smart.[(triple4)] @1: Bob is red.[(((triple1) -> rule2))] Erin is not round.[(((triple2) -> rule6))] Erin is red.[(((triple2) -> rule4))] @2: Bob is kind.[(((((triple1) -> rule2)) -> rule7))] Erin is kind.[(((((triple2) -> rule4)) -> rule7))]