Anne is big. Anne is kind. Anne is red. Anne is rough. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Gary is quiet. Gary is smart. If Fiona is big then Fiona is kind. If Anne is quiet then Anne is big. All kind things are rough. If something is kind then it is smart. If something is big and red then it is smart. All quiet things are cold.
Fiona is not quiet.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple2) -> rule3))] Fiona is cold.[(triple5 OR ((triple7) -> rule6))] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Fiona is rough.[(triple9 OR ((triple6) -> rule3))] Fiona is smart.[(triple10 OR ((triple6) -> rule4))] Gary is quiet.[(triple11)] Gary is smart.[(triple12)] @1: Anne is smart.[(((triple2) -> rule4) OR ((triple1 triple3) -> rule5))] Gary is cold.[(((triple11) -> rule6))]