Anne is big. Anne is kind. Anne is nice. Anne is red. Anne is round. Anne is smart. Anne is white. Fiona is big. Fiona is kind. Fiona is red. Fiona is smart. Fiona is white. Gary is red. Gary is round. Gary is white. If someone is white then they are nice. If someone is smart and kind then they are white. If someone is red then they are nice. All red, nice people are smart. All red people are big. If someone is smart then they are big. If someone is red then they are smart. If someone is big and red then they are round.
Gary is not white.
@0: Anne is big.[(triple1 OR ((triple4) -> rule5) OR ((triple6) -> rule6) OR ((((triple4) -> rule7)) -> rule6) OR ((((triple4 triple3) -> rule4)) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule4)) -> rule6) OR ((((triple4 ((triple7) -> rule1)) -> rule4)) -> rule6))] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple4) -> rule3) OR ((triple7) -> rule1) OR ((((triple6 triple2) -> rule2)) -> rule1) OR ((((((triple4) -> rule7) triple2) -> rule2)) -> rule1))] Anne is red.[(triple4)] Anne is round.[(triple5 OR ((triple1 triple4) -> rule8) OR ((((triple4) -> rule5) triple4) -> rule8) OR ((((triple6) -> rule6) triple4) -> rule8) OR ((((((triple4) -> rule7)) -> rule6) triple4) -> rule8) OR ((((((triple4 triple3) -> rule4)) -> rule6) triple4) -> rule8) OR ((((((triple4 ((triple4) -> rule3)) -> rule4)) -> rule6) triple4) -> rule8) OR ((((((triple4 ((triple7) -> rule1)) -> rule4)) -> rule6) triple4) -> rule8))] Anne is smart.[(triple6 OR ((triple4) -> rule7) OR ((triple4 triple3) -> rule4) OR ((triple4 ((triple4) -> rule3)) -> rule4) OR ((triple4 ((triple7) -> rule1)) -> rule4))] Anne is white.[(triple7 OR ((triple6 triple2) -> rule2) OR ((((triple4) -> rule7) triple2) -> rule2) OR ((((triple4 triple3) -> rule4) triple2) -> rule2) OR ((((triple4 ((triple4) -> rule3)) -> rule4) triple2) -> rule2))] Fiona is big.[(triple8 OR ((triple10) -> rule5) OR ((triple11) -> rule6) OR ((((triple10) -> rule7)) -> rule6) OR ((((triple10 ((triple10) -> rule3)) -> rule4)) -> rule6) OR ((((triple10 ((triple12) -> rule1)) -> rule4)) -> rule6))] Fiona is kind.[(triple9)] Fiona is red.[(triple10)] Fiona is smart.[(triple11 OR ((triple10) -> rule7) OR ((triple10 ((triple10) -> rule3)) -> rule4) OR ((triple10 ((triple12) -> rule1)) -> rule4))] Fiona is white.[(triple12 OR ((triple11 triple9) -> rule2) OR ((((triple10) -> rule7) triple9) -> rule2) OR ((((triple10 ((triple10) -> rule3)) -> rule4) triple9) -> rule2))] Gary is red.[(triple13)] Gary is round.[(triple14 OR ((((triple13) -> rule5) triple13) -> rule8) OR ((((((triple13) -> rule7)) -> rule6) triple13) -> rule8) OR ((((((triple13 ((triple13) -> rule3)) -> rule4)) -> rule6) triple13) -> rule8) OR ((((((triple13 ((triple15) -> rule1)) -> rule4)) -> rule6) triple13) -> rule8))] Gary is white.[(triple15)] @1: Fiona is nice.[(((triple10) -> rule3) OR ((triple12) -> rule1) OR ((((triple11 triple9) -> rule2)) -> rule1) OR ((((((triple10) -> rule7) triple9) -> rule2)) -> rule1))] Fiona is round.[(((triple8 triple10) -> rule8) OR ((((triple10) -> rule5) triple10) -> rule8) OR ((((triple11) -> rule6) triple10) -> rule8) OR ((((((triple10) -> rule7)) -> rule6) triple10) -> rule8) OR ((((((triple10 ((triple10) -> rule3)) -> rule4)) -> rule6) triple10) -> rule8) OR ((((((triple10 ((triple12) -> rule1)) -> rule4)) -> rule6) triple10) -> rule8))] Gary is big.[(((triple13) -> rule5) OR ((((triple13) -> rule7)) -> rule6) OR ((((triple13 ((triple13) -> rule3)) -> rule4)) -> rule6) OR ((((triple13 ((triple15) -> rule1)) -> rule4)) -> rule6))] Gary is nice.[(((triple13) -> rule3) OR ((triple15) -> rule1))] Gary is smart.[(((triple13) -> rule7) OR ((triple13 ((triple13) -> rule3)) -> rule4) OR ((triple13 ((triple15) -> rule1)) -> rule4))]