Anne is blue. Anne is furry. Bob is furry. Fiona is big. Fiona is furry. Fiona is nice. Fiona is white. Young, rough people are furry. All blue, nice people are white. All blue, nice people are rough. White, blue people are rough. All blue people are nice. If Bob is nice and Bob is rough then Bob is big. All rough people are big. If Anne is furry and Anne is young then Anne is rough.
Bob is rough.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Bob is furry.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is nice.[(triple6)] Fiona is white.[(triple7)] @1: Anne is nice.[(((triple1) -> rule5))] @2: Anne is rough.[(((triple1 ((triple1) -> rule5)) -> rule3) OR ((((triple1 ((triple1) -> rule5)) -> rule2) triple1) -> rule4))] Anne is white.[(((triple1 ((triple1) -> rule5)) -> rule2))] @3: Anne is big.[(((((triple1 ((triple1) -> rule5)) -> rule3)) -> rule7) OR ((((((triple1 ((triple1) -> rule5)) -> rule2) triple1) -> rule4)) -> rule7))]