Anne is big. Anne is furry. Anne is red. Anne is rough. Anne is not smart. Anne is young. Bob is kind. Bob is smart. Gary is furry. Gary is kind. Smart people are red. If someone is kind and not young then they are not red. If someone is rough and not kind then they are not furry. If someone is furry and smart then they are rough. If someone is red and not big then they are not smart. All kind people are smart. If Anne is big and Anne is kind then Anne is smart. If Gary is young and Gary is not kind then Gary is red.
Bob is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is not smart.[(triple5)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple6)] Bob is kind.[(triple7)] Bob is smart.[(triple8 OR ((triple7) -> rule6))] Gary is furry.[(triple9)] Gary is kind.[(triple10)] @1: Bob is red.[(((triple8) -> rule1) OR ((((triple7) -> rule6)) -> rule1))] Gary is smart.[(((triple10) -> rule6))] @2: Gary is red.[(((((triple10) -> rule6)) -> rule1))] Gary is rough.[(((triple9 ((triple10) -> rule6)) -> rule4))]