Bob is blue. Bob is smart. Erin is not green. Erin is not red. Fiona is green. Harry is not quiet. Harry is smart. Green things are red. Blue things are smart. Green, smart things are young. Green, young things are blue. All blue things are quiet. If Fiona is red then Fiona is smart. If something is quiet and smart then it is rough. If Bob is rough and Bob is not blue then Bob is not red.
Harry is not rough.
@0: Bob is blue.[(triple1)] Bob is smart.[(triple2 OR ((triple1) -> rule2))] Erin is not green.[(triple3)] Erin is not red.[(triple4)] Fiona is green.[(triple5)] Harry is not quiet.[(triple6)] Harry is smart.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule5))] Fiona is red.[(((triple5) -> rule1))] @2: Bob is rough.[(((((triple1) -> rule5) triple2) -> rule7) OR ((((triple1) -> rule5) ((triple1) -> rule2)) -> rule7))] Fiona is smart.[(((((triple5) -> rule1)) -> rule6))] @3: Fiona is young.[(((triple5 ((((triple5) -> rule1)) -> rule6)) -> rule3))] @4: Fiona is blue.[(((triple5 ((triple5 ((((triple5) -> rule1)) -> rule6)) -> rule3)) -> rule4))] @5: Fiona is quiet.[(((((triple5 ((triple5 ((((triple5) -> rule1)) -> rule6)) -> rule3)) -> rule4)) -> rule5))] @6: Fiona is rough.[(((((((triple5 ((triple5 ((((triple5) -> rule1)) -> rule6)) -> rule3)) -> rule4)) -> rule5) ((((triple5) -> rule1)) -> rule6)) -> rule7))]