Anne is big. Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is smart. Fiona is big. Fiona is blue. Fiona is nice. Fiona is red. Fiona is smart. If Fiona is kind then Fiona is blue. If something is red then it is nice. All red things are nice.
Fiona is kind.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple6) -> rule2) OR ((triple6) -> rule3))] Anne is quiet.[(triple5)] Anne is red.[(triple6)] Anne is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is nice.[(triple10 OR ((triple11) -> rule2) OR ((triple11) -> rule3))] Fiona is red.[(triple11)] Fiona is smart.[(triple12)]