Anne is quiet. Anne is red. Bob is kind. Bob is nice. Bob is quiet. Bob is not red. Bob is round. Charlie is big. Charlie is kind. Fiona is quiet. All round things are nice. All kind, red things are rough. If something is big then it is quiet. If something is rough then it is round. If Charlie is nice and Charlie is big then Charlie is not kind. If something is red then it is kind. If something is round and nice then it is not big.
Bob is kind.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple7) -> rule1))] Bob is not red.[(triple6)] Bob is quiet.[(triple5)] Bob is round.[(triple7)] Charlie is big.[(triple8)] Charlie is kind.[(triple9)] Fiona is quiet.[(triple10)] @1: Anne is kind.[(((triple2) -> rule6))] Bob is not big.[(((triple7 triple4) -> rule7) OR ((triple7 ((triple7) -> rule1)) -> rule7))] Charlie is quiet.[(((triple8) -> rule3))] @2: Anne is rough.[(((((triple2) -> rule6) triple2) -> rule2))] @3: Anne is round.[(((((((triple2) -> rule6) triple2) -> rule2)) -> rule4))] @4: Anne is nice.[(((((((((triple2) -> rule6) triple2) -> rule2)) -> rule4)) -> rule1))] @5: Anne is not big.[(((((((((triple2) -> rule6) triple2) -> rule2)) -> rule4) ((((((((triple2) -> rule6) triple2) -> rule2)) -> rule4)) -> rule1)) -> rule7))]