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