Bob is kind. Bob is nice. Bob is quiet. Bob is round. Bob is smart. Bob is young. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is smart. Erin is young. If something is round and young then it is nice.
Bob is red.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2 OR ((triple4 triple6) -> rule1))] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Erin is nice.[(triple7 OR ((triple10 triple12) -> rule1))] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Erin is round.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12)]