Fiona is cold. Fiona is green. Fiona is smart. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is smart. Gary is white. Gary is young. If something is green then it is young. If something is young then it is quiet. If something is nice and white then it is quiet. If something is nice then it is cold. If Fiona is quiet and Fiona is green then Fiona is nice. All young, smart things are quiet.
Fiona is not young.
@0: Fiona is cold.[(triple1 OR ((((((((triple2) -> rule1)) -> rule2) triple2) -> rule5)) -> rule4) OR ((((((((triple2) -> rule1) triple3) -> rule6) triple2) -> rule5)) -> rule4))] Fiona is green.[(triple2)] Fiona is smart.[(triple3)] Gary is cold.[(triple4 OR ((triple6) -> rule4))] Gary is green.[(triple5)] Gary is nice.[(triple6)] Gary is quiet.[(triple7 OR ((triple10) -> rule2) OR ((triple10 triple8) -> rule6) OR ((triple6 triple9) -> rule3) OR ((((triple5) -> rule1)) -> rule2) OR ((((triple5) -> rule1) triple8) -> rule6))] Gary is smart.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10 OR ((triple5) -> rule1))] @1: Fiona is young.[(((triple2) -> rule1))] @2: Fiona is quiet.[(((((triple2) -> rule1)) -> rule2) OR ((((triple2) -> rule1) triple3) -> rule6))] @3: Fiona is nice.[(((((((triple2) -> rule1)) -> rule2) triple2) -> rule5) OR ((((((triple2) -> rule1) triple3) -> rule6) triple2) -> rule5))]