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