Bob is big. Bob is furry. Bob is smart. Bob is white. Charlie is quiet. Charlie is not smart. Fiona is not big. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. If someone is round then they are rough. All rough, big people are round. Furry people are round. If someone is rough then they are round. If someone is quiet then they are white. If someone is big and rough then they are quiet. If someone is big and not rough then they are quiet. If someone is smart and not big then they are quiet.
Bob is smart.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4 OR ((((triple1 ((((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule5))] Charlie is not smart.[(triple6)] Charlie is quiet.[(triple5)] Fiona is furry.[(triple8)] Fiona is not big.[(triple7)] Fiona is quiet.[(triple9 OR ((triple12 triple7) -> rule8))] Fiona is rough.[(triple10 OR ((triple11) -> rule1) OR ((((triple8) -> rule3)) -> rule1))] Fiona is round.[(triple11 OR ((triple10) -> rule4) OR ((triple8) -> rule3))] Fiona is smart.[(triple12)] @1: Bob is round.[(((triple2) -> rule3))] Charlie is white.[(((triple5) -> rule5))] Fiona is white.[(((triple9) -> rule5) OR ((((triple12 triple7) -> rule8)) -> rule5))] @2: Bob is rough.[(((((triple2) -> rule3)) -> rule1))] @3: Bob is quiet.[(((triple1 ((((triple2) -> rule3)) -> rule1)) -> rule6))]