Anne is big. Anne is furry. Anne is rough. Dave is big. Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is rough. Harry is not cold. Harry is furry. Harry is nice. All cold people are big. Quiet people are big. If someone is young and not nice then they are big. If someone is rough and cold then they are furry. Young people are quiet. If Harry is furry then Harry is young.
Dave is rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Dave is big.[(triple4 OR ((triple5) -> rule1) OR ((triple7) -> rule2))] Dave is cold.[(triple5)] Dave is furry.[(triple6 OR ((triple8 triple5) -> rule4))] Dave is quiet.[(triple7)] Dave is rough.[(triple8)] Fiona is big.[(triple9 OR ((triple11) -> rule2))] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] Harry is furry.[(triple14)] Harry is nice.[(triple15)] Harry is not cold.[(triple13)] @1: Harry is young.[(((triple14) -> rule6))] @2: Harry is quiet.[(((((triple14) -> rule6)) -> rule5))] @3: Harry is big.[(((((((triple14) -> rule6)) -> rule5)) -> rule2))]