Charlie is big. Fiona is smart. If Fiona is smart and Fiona is young then Fiona is big. All big, green people are quiet. If Charlie is smart then Charlie is young. If Fiona is green then Fiona is nice. All big, young people are smart. Big people are green. If someone is quiet and smart then they are big. If Charlie is quiet then Charlie is young.
Charlie is not big.
@0: Charlie is big.[(triple1)] Fiona is smart.[(triple2)] @1: Charlie is green.[(((triple1) -> rule6))] @2: Charlie is quiet.[(((triple1 ((triple1) -> rule6)) -> rule2))] @3: Charlie is young.[(((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8))] @4: Charlie is smart.[(((triple1 ((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule5))]