Bob is cold. Bob is kind. Bob is rough. Bob is smart. Bob is young. Erin is furry. Erin is kind. Erin is rough. Erin is young. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is young. Harry is furry. Harry is green. If Harry is cold and Harry is furry then Harry is smart. Young, cold people are rough. If Erin is kind then Erin is green. If Harry is furry then Harry is rough. If someone is green and furry then they are cold. If someone is smart then they are kind.
Fiona is not young.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2 OR ((triple4) -> rule6))] Bob is rough.[(triple3 OR ((triple5 triple1) -> rule2))] Bob is smart.[(triple4)] Bob is young.[(triple5)] Erin is furry.[(triple6)] Erin is kind.[(triple7)] Erin is rough.[(triple8 OR ((triple9 ((((triple7) -> rule3) triple6) -> rule5)) -> rule2))] Erin is young.[(triple9)] Fiona is kind.[(triple10 OR ((triple12) -> rule6))] Fiona is rough.[(triple11)] Fiona is smart.[(triple12)] Fiona is young.[(triple13)] Harry is furry.[(triple14)] Harry is green.[(triple15)] @1: Erin is green.[(((triple7) -> rule3))] Harry is cold.[(((triple15 triple14) -> rule5))] Harry is rough.[(((triple14) -> rule4))] @2: Erin is cold.[(((((triple7) -> rule3) triple6) -> rule5))] Harry is smart.[(((((triple15 triple14) -> rule5) triple14) -> rule1))] @3: Harry is kind.[(((((((triple15 triple14) -> rule5) triple14) -> rule1)) -> rule6))]