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