Bob is cold. Bob is rough. Fiona is blue. Fiona is nice. Harry is big. Harry is nice. Harry is quiet. If Fiona is nice then Fiona is rough. Quiet people are big. If someone is young then they are cold. If someone is nice then they are rough. If someone is blue and quiet then they are big. If Bob is big then Bob is quiet. All rough people are quiet. If someone is rough then they are nice.
Bob is not young.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Fiona is blue.[(triple3)] Fiona is nice.[(triple4)] Harry is big.[(triple5 OR ((triple7) -> rule2) OR ((((((triple6) -> rule4)) -> rule7)) -> rule2))] Harry is nice.[(triple6)] Harry is quiet.[(triple7 OR ((((triple6) -> rule4)) -> rule7))] @1: Bob is nice.[(((triple2) -> rule8))] Bob is quiet.[(((triple2) -> rule7))] Fiona is rough.[(((triple4) -> rule1) OR ((triple4) -> rule4))] Harry is rough.[(((triple6) -> rule4))] @2: Bob is big.[(((((triple2) -> rule7)) -> rule2))] Fiona is quiet.[(((((triple4) -> rule1)) -> rule7) OR ((((triple4) -> rule4)) -> rule7))] @3: Fiona is big.[(((((((triple4) -> rule1)) -> rule7)) -> rule2) OR ((((((triple4) -> rule4)) -> rule7)) -> rule2) OR ((triple3 ((((triple4) -> rule1)) -> rule7)) -> rule5) OR ((triple3 ((((triple4) -> rule4)) -> rule7)) -> rule5))]