Anne is blue. Anne is green. Anne is kind. Anne is quiet. Bob is big. Bob is green. Bob is kind. Bob is quiet. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is smart. Harry is blue. Harry is furry. Harry is green. All furry, kind people are green. If someone is kind then they are blue. Quiet people are green.
Harry is big.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule2))] Anne is green.[(triple2 OR ((triple4) -> rule3))] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Bob is big.[(triple5)] Bob is green.[(triple6 OR ((triple8) -> rule3))] Bob is kind.[(triple7)] Bob is quiet.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Fiona is smart.[(triple12)] Harry is blue.[(triple13)] Harry is furry.[(triple14)] Harry is green.[(triple15)] @1: Bob is blue.[(((triple7) -> rule2))] Fiona is green.[(((triple11) -> rule3))]