Bob is blue. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Bob is white. Bob is young. Dave is blue. Dave is quiet. Dave is red. Erin is quiet. Erin is young. All smart things are red. If something is white then it is rough. If something is red and rough then it is smart.
Erin is white.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3 OR ((triple5) -> rule1))] Bob is rough.[(triple4 OR ((triple6) -> rule2))] Bob is smart.[(triple5 OR ((triple3 triple4) -> rule3) OR ((triple3 ((triple6) -> rule2)) -> rule3))] Bob is white.[(triple6)] Bob is young.[(triple7)] Dave is blue.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Erin is quiet.[(triple11)] Erin is young.[(triple12)]