Anne is big. Anne is furry. Charlie is big. Charlie is white. Dave is white. Fiona is big. Fiona is quiet. Rough, quiet people are big. If Dave is furry and Dave is big then Dave is white. If someone is kind and big then they are rough. If someone is big then they are kind. If Fiona is big and Fiona is rough then Fiona is furry. Furry people are white.
Fiona is furry.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Charlie is big.[(triple3)] Charlie is white.[(triple4)] Dave is white.[(triple5)] Fiona is big.[(triple6)] Fiona is quiet.[(triple7)] @1: Anne is kind.[(((triple1) -> rule4))] Anne is white.[(((triple2) -> rule6))] Charlie is kind.[(((triple3) -> rule4))] Fiona is kind.[(((triple6) -> rule4))] @2: Anne is rough.[(((((triple1) -> rule4) triple1) -> rule3))] Charlie is rough.[(((((triple3) -> rule4) triple3) -> rule3))] Fiona is rough.[(((((triple6) -> rule4) triple6) -> rule3))] @3: Fiona is furry.[(((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule5))] @4: Fiona is white.[(((((triple6 ((((triple6) -> rule4) triple6) -> rule3)) -> rule5)) -> rule6))]