Bob is big. Bob is cold. Bob is furry. Bob is red. Bob is young. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is red. Gary is round. Gary is young. If someone is big then they are kind. Big, young people are kind. If Gary is cold and Gary is young then Gary is big. If someone is furry then they are kind. If someone is kind then they are big. All kind, young people are round.
Bob is not kind.
@0: Bob is big.[(triple1 OR ((((triple3) -> rule4)) -> rule5))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is red.[(triple4)] Bob is young.[(triple5)] Gary is big.[(triple6 OR ((triple9) -> rule5) OR ((triple7 triple12) -> rule3) OR ((((triple8) -> rule4)) -> rule5))] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9 OR ((triple6) -> rule1) OR ((triple8) -> rule4) OR ((triple6 triple12) -> rule2) OR ((((triple7 triple12) -> rule3)) -> rule1) OR ((((triple7 triple12) -> rule3) triple12) -> rule2))] Gary is red.[(triple10)] Gary is round.[(triple11 OR ((triple9 triple12) -> rule6) OR ((((triple6) -> rule1) triple12) -> rule6) OR ((((triple8) -> rule4) triple12) -> rule6) OR ((((triple6 triple12) -> rule2) triple12) -> rule6) OR ((((((triple7 triple12) -> rule3)) -> rule1) triple12) -> rule6) OR ((((((triple7 triple12) -> rule3) triple12) -> rule2) triple12) -> rule6))] Gary is young.[(triple12)] @1: Bob is kind.[(((triple1) -> rule1) OR ((triple3) -> rule4) OR ((triple1 triple5) -> rule2))] @2: Bob is round.[(((((triple1) -> rule1) triple5) -> rule6) OR ((((triple3) -> rule4) triple5) -> rule6) OR ((((triple1 triple5) -> rule2) triple5) -> rule6))]