Anne is big. Anne is green. Anne is kind. Anne is round. Bob is big. Bob is furry. Bob is green. Bob is kind. Bob is round. Bob is white. Bob is young. Fiona is big. Gary is big. Gary is kind. Gary is white. If someone is kind and big then they are white. Round people are furry. Furry, big people are kind.
Fiona is green.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((((triple4) -> rule2) triple1) -> rule3))] Anne is round.[(triple4)] Bob is big.[(triple5)] Bob is furry.[(triple6 OR ((triple9) -> rule2))] Bob is green.[(triple7)] Bob is kind.[(triple8 OR ((triple6 triple5) -> rule3) OR ((((triple9) -> rule2) triple5) -> rule3))] Bob is round.[(triple9)] Bob is white.[(triple10 OR ((triple8 triple5) -> rule1) OR ((((triple6 triple5) -> rule3) triple5) -> rule1) OR ((((((triple9) -> rule2) triple5) -> rule3) triple5) -> rule1))] Bob is young.[(triple11)] Fiona is big.[(triple12)] Gary is big.[(triple13)] Gary is kind.[(triple14)] Gary is white.[(triple15 OR ((triple14 triple13) -> rule1))] @1: Anne is furry.[(((triple4) -> rule2))] Anne is white.[(((triple3 triple1) -> rule1) OR ((((((triple4) -> rule2) triple1) -> rule3) triple1) -> rule1))]