Anne is red. Anne is rough. Anne is not young. Charlie is green. Charlie is young. Fiona is furry. Fiona is red. If Fiona is young then Fiona is green. Furry people are not young. Rough people are not quiet. If Fiona is furry then Fiona is not quiet. If Charlie is rough and Charlie is smart then Charlie is red. If someone is rough then they are smart. If someone is young and green then they are rough. If Fiona is red and Fiona is not green then Fiona is not smart.
Charlie is not red.
@0: Anne is not young.[(triple3)] Anne is red.[(triple1)] Anne is rough.[(triple2)] Charlie is green.[(triple4)] Charlie is young.[(triple5)] Fiona is furry.[(triple6)] Fiona is red.[(triple7)] @1: Anne is not quiet.[(((triple2) -> rule3))] Anne is smart.[(((triple2) -> rule6))] Charlie is rough.[(((triple5 triple4) -> rule7))] Fiona is not quiet.[(((triple6) -> rule4))] Fiona is not young.[(((triple6) -> rule2))] @2: Charlie is not quiet.[(((((triple5 triple4) -> rule7)) -> rule3))] Charlie is smart.[(((((triple5 triple4) -> rule7)) -> rule6))] @3: Charlie is red.[(((((triple5 triple4) -> rule7) ((((triple5 triple4) -> rule7)) -> rule6)) -> rule5))]