Bob is nice. Dave is big. Dave is smart. Fiona is smart. Gary is furry. Gary is nice. Gary is young. If something is young then it is big. All young things are nice. If Gary is quiet then Gary is nice. All young things are big. If something is big and nice then it is smart. If Gary is kind then Gary is nice.
Dave is not big.
@0: Bob is nice.[(triple1)] Dave is big.[(triple2)] Dave is smart.[(triple3)] Fiona is smart.[(triple4)] Gary is furry.[(triple5)] Gary is nice.[(triple6 OR ((triple7) -> rule2))] Gary is young.[(triple7)] @1: Gary is big.[(((triple7) -> rule1) OR ((triple7) -> rule4))] @2: Gary is smart.[(((((triple7) -> rule1) triple6) -> rule5) OR ((((triple7) -> rule4) triple6) -> rule5) OR ((((triple7) -> rule1) ((triple7) -> rule2)) -> rule5) OR ((((triple7) -> rule4) ((triple7) -> rule2)) -> rule5))]