Bob is furry. Bob is rough. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is smart. Harry is not cold. Harry is quiet. Harry is rough. Harry is white. Quiet, big people are smart. Big, furry people are not cold. If someone is white then they are big. White, quiet people are big. Furry, rough people are not quiet. If Bob is rough then Bob is white.
Fiona is smart.
@0: Bob is furry.[(triple1)] Bob is rough.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Harry is not cold.[(triple7)] Harry is quiet.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10)] @1: Bob is not quiet.[(((triple1 triple2) -> rule5))] Bob is white.[(((triple2) -> rule6))] Fiona is not quiet.[(((triple4 triple5) -> rule5))] Harry is big.[(((triple10) -> rule3) OR ((triple10 triple8) -> rule4))] @2: Bob is big.[(((((triple2) -> rule6)) -> rule3))] Harry is smart.[(((triple8 ((triple10) -> rule3)) -> rule1) OR ((triple8 ((triple10 triple8) -> rule4)) -> rule1))] @3: Bob is not cold.[(((((((triple2) -> rule6)) -> rule3) triple1) -> rule2))]