Anne is blue. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is white. Bob is quiet. Bob is white. Fiona is blue. Fiona is furry. Fiona is quiet. If something is white and kind then it is quiet. Furry things are kind. If something is furry and blue then it is nice.
Bob is blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple2) -> rule2))] Anne is nice.[(triple4 OR ((triple2 triple1) -> rule3))] Anne is quiet.[(triple5 OR ((triple7 triple3) -> rule1) OR ((triple7 ((triple2) -> rule2)) -> rule1))] Anne is rough.[(triple6)] Anne is white.[(triple7)] Bob is quiet.[(triple8)] Bob is white.[(triple9)] Fiona is blue.[(triple10)] Fiona is furry.[(triple11)] Fiona is quiet.[(triple12)] @1: Fiona is kind.[(((triple11) -> rule2))] Fiona is nice.[(((triple11 triple10) -> rule3))]