Dave is cold. Dave is kind. Fiona is blue. Fiona is green. Gary is cold. Gary is green. Gary is rough. If Fiona is green and Fiona is round then Fiona is kind. If Dave is cold then Dave is big. Big, kind people are green. Green people are rough. If Gary is big then Gary is cold. All round, cold people are green. If someone is big then they are round. If Gary is round and Gary is rough then Gary is cold.
Dave is big.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Fiona is blue.[(triple3)] Fiona is green.[(triple4)] Gary is cold.[(triple5)] Gary is green.[(triple6)] Gary is rough.[(triple7 OR ((triple6) -> rule4))] @1: Dave is big.[(((triple1) -> rule2))] Fiona is rough.[(((triple4) -> rule4))] @2: Dave is green.[(((((triple1) -> rule2) triple2) -> rule3) OR ((((((triple1) -> rule2)) -> rule7) triple1) -> rule6))] Dave is round.[(((((triple1) -> rule2)) -> rule7))] @3: Dave is rough.[(((((((triple1) -> rule2) triple2) -> rule3)) -> rule4) OR ((((((((triple1) -> rule2)) -> rule7) triple1) -> rule6)) -> rule4))]