Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is white. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is white. Furry, white things are kind. Kind, green things are cold. All cold, white things are red. White things are blue. If something is blue and cold then it is white. If Gary is cold and Gary is kind then Gary is white.
Gary is white.
@0: Fiona is blue.[(triple1 OR ((triple7) -> rule4))] Fiona is cold.[(triple2 OR ((triple5 triple4) -> rule2) OR ((((triple3 triple7) -> rule1) triple4) -> rule2))] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5 OR ((triple3 triple7) -> rule1) OR ((triple3 ((triple1 triple2) -> rule5)) -> rule1))] Fiona is red.[(triple6 OR ((triple2 triple7) -> rule3) OR ((triple2 ((triple1 triple2) -> rule5)) -> rule3) OR ((((triple5 triple4) -> rule2) triple7) -> rule3) OR ((((triple5 triple4) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) OR ((triple2 ((triple1 ((triple5 triple4) -> rule2)) -> rule5)) -> rule3) OR ((((((triple3 triple7) -> rule1) triple4) -> rule2) triple7) -> rule3) OR ((((triple5 triple4) -> rule2) ((triple1 ((triple5 triple4) -> rule2)) -> rule5)) -> rule3) OR ((((((triple3 triple7) -> rule1) triple4) -> rule2) ((triple1 triple2) -> rule5)) -> rule3) OR ((((((triple3 triple7) -> rule1) triple4) -> rule2) ((triple1 ((triple5 triple4) -> rule2)) -> rule5)) -> rule3))] Fiona is white.[(triple7 OR ((triple1 triple2) -> rule5) OR ((triple1 ((triple5 triple4) -> rule2)) -> rule5))] Gary is blue.[(triple8 OR ((triple14) -> rule4) OR ((((triple9 triple12) -> rule6)) -> rule4) OR ((((((triple12 triple11) -> rule2) triple12) -> rule6)) -> rule4))] Gary is cold.[(triple9 OR ((triple12 triple11) -> rule2) OR ((((triple10 triple14) -> rule1) triple11) -> rule2))] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12 OR ((triple10 triple14) -> rule1) OR ((triple10 ((triple8 triple9) -> rule5)) -> rule1))] Gary is red.[(triple13 OR ((triple9 triple14) -> rule3) OR ((triple9 ((triple8 triple9) -> rule5)) -> rule3) OR ((triple9 ((triple9 triple12) -> rule6)) -> rule3) OR ((((triple12 triple11) -> rule2) triple14) -> rule3) OR ((((triple12 triple11) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) OR ((((triple12 triple11) -> rule2) ((triple9 triple12) -> rule6)) -> rule3) OR ((triple9 ((triple8 ((triple12 triple11) -> rule2)) -> rule5)) -> rule3) OR ((triple9 ((((triple12 triple11) -> rule2) triple12) -> rule6)) -> rule3) OR ((((((triple10 triple14) -> rule1) triple11) -> rule2) triple14) -> rule3) OR ((((triple12 triple11) -> rule2) ((triple8 ((triple12 triple11) -> rule2)) -> rule5)) -> rule3) OR ((((triple12 triple11) -> rule2) ((((triple12 triple11) -> rule2) triple12) -> rule6)) -> rule3) OR ((((((triple10 triple14) -> rule1) triple11) -> rule2) ((triple8 triple9) -> rule5)) -> rule3) OR ((((((triple10 triple14) -> rule1) triple11) -> rule2) ((triple9 triple12) -> rule6)) -> rule3) OR ((((((triple10 triple14) -> rule1) triple11) -> rule2) ((triple8 ((triple12 triple11) -> rule2)) -> rule5)) -> rule3) OR ((((((triple10 triple14) -> rule1) triple11) -> rule2) ((((triple12 triple11) -> rule2) triple12) -> rule6)) -> rule3))] Gary is white.[(triple14 OR ((triple8 triple9) -> rule5) OR ((triple9 triple12) -> rule6) OR ((triple8 ((triple12 triple11) -> rule2)) -> rule5) OR ((((triple12 triple11) -> rule2) triple12) -> rule6))]