Bob is big. Bob is smart. Dave is kind. Dave is quiet. Dave is not red. Dave is smart. Dave is not white. Erin is kind. Erin is not quiet. Erin is not smart. Erin is young. Gary is kind. Gary is quiet. Gary is smart. Gary is white. If something is white then it is quiet. If something is young and not kind then it is quiet. White things are young. Big, smart things are red. If Bob is not smart then Bob is not quiet. If something is young then it is big.
Bob is red.
@0: Bob is big.[(triple1)] Bob is smart.[(triple2)] Dave is kind.[(triple3)] Dave is not red.[(triple5)] Dave is not white.[(triple7)] Dave is quiet.[(triple4)] Dave is smart.[(triple6)] Erin is kind.[(triple8)] Erin is not quiet.[(triple9)] Erin is not smart.[(triple10)] Erin is young.[(triple11)] Gary is kind.[(triple12)] Gary is quiet.[(triple13 OR ((triple15) -> rule1))] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Bob is red.[(((triple1 triple2) -> rule4))] Erin is big.[(((triple11) -> rule6))] Gary is young.[(((triple15) -> rule3))] @2: Gary is big.[(((((triple15) -> rule3)) -> rule6))] @3: Gary is red.[(((((((triple15) -> rule3)) -> rule6) triple14) -> rule4))]