Anne is big. Anne is cold. Anne is smart. Charlie is big. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Dave is big. Dave is cold. Dave is red. If someone is kind then they are quiet. Blue, red people are big. If Charlie is quiet and Charlie is red then Charlie is blue. If Dave is smart and Dave is quiet then Dave is big. All cold people are quiet. If someone is smart then they are big.
Charlie is not quiet.
@0: Anne is big.[(triple1 OR ((triple3) -> rule6))] Anne is cold.[(triple2)] Anne is smart.[(triple3)] Charlie is big.[(triple4 OR ((triple9) -> rule6) OR ((triple5 triple8) -> rule2) OR ((((triple7 triple8) -> rule3) triple8) -> rule2) OR ((((((triple6) -> rule1) triple8) -> rule3) triple8) -> rule2))] Charlie is blue.[(triple5 OR ((triple7 triple8) -> rule3) OR ((((triple6) -> rule1) triple8) -> rule3))] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7 OR ((triple6) -> rule1))] Charlie is red.[(triple8)] Charlie is smart.[(triple9)] Dave is big.[(triple10)] Dave is cold.[(triple11)] Dave is red.[(triple12)] @1: Anne is quiet.[(((triple2) -> rule5))] Dave is quiet.[(((triple11) -> rule5))]