Anne is blue. Anne is kind. Anne is quiet. Anne is red. Anne is smart. Bob is blue. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Bob is young. All blue things are kind. If something is red then it is smart. Rough things are smart.
Anne is smart.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule1))] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5 OR ((triple4) -> rule2))] Bob is blue.[(triple6)] Bob is kind.[(triple7 OR ((triple6) -> rule1))] Bob is quiet.[(triple8)] Bob is red.[(triple9)] Bob is rough.[(triple10)] Bob is smart.[(triple11 OR ((triple10) -> rule3) OR ((triple9) -> rule2))] Bob is young.[(triple12)]