Anne is smart. Anne is white. Bob is green. Bob is kind. Bob is quiet. Bob is smart. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is white. If Anne is kind then Anne is furry. All quiet, kind people are furry. All furry, quiet people are red. If someone is red and smart then they are white. Kind, white people are green. If someone is white and green then they are smart.
Fiona is smart.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Bob is green.[(triple3 OR ((triple4 ((((((triple5 triple4) -> rule2) triple5) -> rule3) triple6) -> rule4)) -> rule5))] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is smart.[(triple6)] Fiona is furry.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9 OR ((triple7 triple8) -> rule3))] Fiona is white.[(triple10)] @1: Bob is furry.[(((triple5 triple4) -> rule2))] @2: Bob is red.[(((((triple5 triple4) -> rule2) triple5) -> rule3))] @3: Bob is white.[(((((((triple5 triple4) -> rule2) triple5) -> rule3) triple6) -> rule4))]