Anne is round. Bob is big. Bob is round. Bob is white. Fiona is big. Fiona is green. Fiona is kind. Fiona is round. Fiona is young. Gary is nice. Gary is round. If something is nice and big then it is kind. If Anne is round and Anne is young then Anne is green. Big things are nice. Kind things are white. If Anne is kind and Anne is round then Anne is young. If something is green and white then it is round. All round things are big.
Gary is not white.
@0: Anne is round.[(triple1)] Bob is big.[(triple2 OR ((triple3) -> rule7))] Bob is round.[(triple3)] Bob is white.[(triple4 OR ((((((triple2) -> rule3) triple2) -> rule1)) -> rule4) OR ((((((triple2) -> rule3) ((triple3) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple3) -> rule7)) -> rule3) triple2) -> rule1)) -> rule4) OR ((((((((triple3) -> rule7)) -> rule3) ((triple3) -> rule7)) -> rule1)) -> rule4))] Fiona is big.[(triple5 OR ((triple8) -> rule7) OR ((((triple6 ((triple7) -> rule4)) -> rule6)) -> rule7))] Fiona is green.[(triple6)] Fiona is kind.[(triple7 OR ((((triple5) -> rule3) triple5) -> rule1) OR ((((triple5) -> rule3) ((triple8) -> rule7)) -> rule1) OR ((((((triple8) -> rule7)) -> rule3) triple5) -> rule1) OR ((((((triple8) -> rule7)) -> rule3) ((triple8) -> rule7)) -> rule1))] Fiona is round.[(triple8 OR ((triple6 ((triple7) -> rule4)) -> rule6) OR ((triple6 ((((((triple5) -> rule3) triple5) -> rule1)) -> rule4)) -> rule6))] Fiona is young.[(triple9)] Gary is nice.[(triple10 OR ((((triple11) -> rule7)) -> rule3))] Gary is round.[(triple11)] @1: Anne is big.[(((triple1) -> rule7))] Bob is nice.[(((triple2) -> rule3) OR ((((triple3) -> rule7)) -> rule3))] Fiona is nice.[(((triple5) -> rule3) OR ((((triple8) -> rule7)) -> rule3) OR ((((((triple6 ((triple7) -> rule4)) -> rule6)) -> rule7)) -> rule3))] Fiona is white.[(((triple7) -> rule4) OR ((((((triple5) -> rule3) triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule3) ((triple8) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple8) -> rule7)) -> rule3) triple5) -> rule1)) -> rule4) OR ((((((((triple8) -> rule7)) -> rule3) ((triple8) -> rule7)) -> rule1)) -> rule4))] Gary is big.[(((triple11) -> rule7))] @2: Anne is nice.[(((((triple1) -> rule7)) -> rule3))] Bob is kind.[(((((triple2) -> rule3) triple2) -> rule1) OR ((((triple2) -> rule3) ((triple3) -> rule7)) -> rule1) OR ((((((triple3) -> rule7)) -> rule3) triple2) -> rule1) OR ((((((triple3) -> rule7)) -> rule3) ((triple3) -> rule7)) -> rule1))] Gary is kind.[(((triple10 ((triple11) -> rule7)) -> rule1) OR ((((((triple11) -> rule7)) -> rule3) ((triple11) -> rule7)) -> rule1))] @3: Anne is kind.[(((((((triple1) -> rule7)) -> rule3) ((triple1) -> rule7)) -> rule1))] Gary is white.[(((((triple10 ((triple11) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple11) -> rule7)) -> rule3) ((triple11) -> rule7)) -> rule1)) -> rule4))] @4: Anne is white.[(((((((((triple1) -> rule7)) -> rule3) ((triple1) -> rule7)) -> rule1)) -> rule4))] Anne is young.[(((((((((triple1) -> rule7)) -> rule3) ((triple1) -> rule7)) -> rule1) triple1) -> rule5))] @5: Anne is green.[(((triple1 ((((((((triple1) -> rule7)) -> rule3) ((triple1) -> rule7)) -> rule1) triple1) -> rule5)) -> rule2))]