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