Anne is big. Anne is blue. Anne is nice. Anne is quiet. Anne is round. Anne is smart. Anne is young. Bob is big. Bob is blue. Bob is nice. Bob is quiet. Bob is round. Bob is smart. Bob is young. If someone is quiet then they are blue. All big, smart people are round.
Bob is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4) -> rule1))] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5 OR ((triple1 triple6) -> rule2))] Anne is smart.[(triple6)] Anne is young.[(triple7)] Bob is big.[(triple8)] Bob is blue.[(triple9 OR ((triple11) -> rule1))] Bob is nice.[(triple10)] Bob is quiet.[(triple11)] Bob is round.[(triple12 OR ((triple8 triple13) -> rule2))] Bob is smart.[(triple13)] Bob is young.[(triple14)]