Fiona is big. Fiona is furry. Fiona is not kind. Fiona is quiet. Fiona is rough. Gary is not furry. Gary is not kind. Gary is not smart. Harry is big. Harry is kind. Harry is smart. Harry is not young. All rough people are smart. If someone is kind then they are furry. If Gary is furry then Gary is young. If Fiona is furry then Fiona is big. If Fiona is big and Fiona is smart then Fiona is furry. Smart, big people are rough.
Fiona is not kind.
@0: Fiona is big.[(triple1 OR ((triple2) -> rule4))] Fiona is furry.[(triple2 OR ((triple1 ((triple5) -> rule1)) -> rule5))] Fiona is not kind.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Gary is not furry.[(triple6)] Gary is not kind.[(triple7)] Gary is not smart.[(triple8)] Harry is big.[(triple9)] Harry is kind.[(triple10)] Harry is not young.[(triple12)] Harry is smart.[(triple11)] @1: Fiona is smart.[(((triple5) -> rule1))] Harry is furry.[(((triple10) -> rule2))] Harry is rough.[(((triple11 triple9) -> rule6))]