Bob is big. Bob is quiet. Dave is cold. Dave is kind. Fiona is cold. Fiona is green. Gary is green. All cold people are kind. If someone is quiet and cold then they are green. All big, smart people are young. Kind, quiet people are smart. If someone is big and young then they are green. Kind, green people are quiet. All smart people are green. If someone is green and smart then they are cold.
Gary is not cold.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4 OR ((triple3) -> rule1))] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Gary is green.[(triple7)] @1: Fiona is kind.[(((triple5) -> rule1))] @2: Fiona is quiet.[(((((triple5) -> rule1) triple6) -> rule6))] @3: Fiona is smart.[(((((triple5) -> rule1) ((((triple5) -> rule1) triple6) -> rule6)) -> rule4))]