Bob is green. Bob is red. Bob is young. Dave is green. Dave is quiet. Dave is young. Gary is big. Gary is green. Gary is quiet. Gary is red. Gary is smart. Gary is young. If Gary is young then Gary is smart. If someone is red and young then they are big. If someone is white then they are young. White people are young. If Dave is green and Dave is red then Dave is white. If someone is quiet then they are smart. If Gary is quiet and Gary is white then Gary is smart. If someone is white and young then they are green.
Dave is not big.
@0: Bob is green.[(triple1)] Bob is red.[(triple2)] Bob is young.[(triple3)] Dave is green.[(triple4)] Dave is quiet.[(triple5)] Dave is young.[(triple6)] Gary is big.[(triple7 OR ((triple10 triple12) -> rule2))] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11 OR ((triple12) -> rule1) OR ((triple9) -> rule6))] Gary is young.[(triple12)] @1: Bob is big.[(((triple2 triple3) -> rule2))] Dave is smart.[(((triple5) -> rule6))]