Bob is big. Bob is green. Bob is kind. Bob is red. Dave is big. Dave is blue. Dave is green. Dave is round. Fiona is blue. Fiona is quiet. Fiona is red. Gary is big. Gary is green. Gary is quiet. Gary is round. If someone is big then they are blue. If someone is green then they are round. If Gary is quiet then Gary is red.
Gary is kind.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6 OR ((triple5) -> rule1))] Dave is green.[(triple7)] Dave is round.[(triple8 OR ((triple7) -> rule2))] Fiona is blue.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Gary is big.[(triple12)] Gary is green.[(triple13)] Gary is quiet.[(triple14)] Gary is round.[(triple15 OR ((triple13) -> rule2))] @1: Bob is blue.[(((triple1) -> rule1))] Bob is round.[(((triple2) -> rule2))] Gary is blue.[(((triple12) -> rule1))] Gary is red.[(((triple14) -> rule3))]