Bob is kind. Bob is not red. Erin is red. Erin is smart. Fiona is not kind. Harry is kind. Harry is round. If someone is kind then they are nice. All young people are nice. If someone is smart then they are young. If Bob is nice and Bob is young then Bob is round. If someone is nice and young then they are not round. Kind, smart people are red.
Fiona is not rough.
@0: Bob is kind.[(triple1)] Bob is not red.[(triple2)] Erin is red.[(triple3)] Erin is smart.[(triple4)] Fiona is not kind.[(triple5)] Harry is kind.[(triple6)] Harry is round.[(triple7)] @1: Bob is nice.[(((triple1) -> rule1))] Erin is young.[(((triple4) -> rule3))] Harry is nice.[(((triple6) -> rule1))] @2: Erin is nice.[(((((triple4) -> rule3)) -> rule2))] @3: Erin is not round.[(((((((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule5))]