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