Charlie is quiet. Fiona is red. All smart, quiet people are red. If someone is quiet then they are big. Quiet people are white. If someone is kind and quiet then they are rough. If someone is smart then they are kind. Quiet, big people are smart.
Charlie is not quiet.
@0: Charlie is quiet.[(triple1)] Fiona is red.[(triple2)] @1: Charlie is big.[(((triple1) -> rule2))] Charlie is white.[(((triple1) -> rule3))] @2: Charlie is smart.[(((triple1 ((triple1) -> rule2)) -> rule6))] @3: Charlie is kind.[(((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule5))] Charlie is red.[(((((triple1 ((triple1) -> rule2)) -> rule6) triple1) -> rule1))] @4: Charlie is rough.[(((((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule5) triple1) -> rule4))]