Charlie is furry. Charlie is nice. Charlie is red. Charlie is rough. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is red. Fiona is white. Gary is furry. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is white. If something is white and nice then it is rough. Rough, nice things are red. All white, green things are blue. If something is white then it is red. All furry, nice things are green. If Fiona is nice then Fiona is red. If Fiona is red then Fiona is blue. If something is white then it is nice.
Charlie is white.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3 OR ((triple4 triple2) -> rule2))] Charlie is rough.[(triple4)] Fiona is blue.[(triple5 OR ((triple8) -> rule7) OR ((((triple7) -> rule6)) -> rule7) OR ((((triple9) -> rule4)) -> rule7) OR ((triple9 ((triple6 triple7) -> rule5)) -> rule3) OR ((((((triple9) -> rule8)) -> rule6)) -> rule7) OR ((((((triple9 triple7) -> rule1) triple7) -> rule2)) -> rule7) OR ((triple9 ((triple6 ((triple9) -> rule8)) -> rule5)) -> rule3) OR ((((((triple9 triple7) -> rule1) ((triple9) -> rule8)) -> rule2)) -> rule7) OR ((((((triple9 ((triple9) -> rule8)) -> rule1) triple7) -> rule2)) -> rule7) OR ((((((triple9 ((triple9) -> rule8)) -> rule1) ((triple9) -> rule8)) -> rule2)) -> rule7))] Fiona is furry.[(triple6)] Fiona is nice.[(triple7 OR ((triple9) -> rule8))] Fiona is red.[(triple8 OR ((triple7) -> rule6) OR ((triple9) -> rule4) OR ((((triple9) -> rule8)) -> rule6) OR ((((triple9 triple7) -> rule1) triple7) -> rule2) OR ((((triple9 triple7) -> rule1) ((triple9) -> rule8)) -> rule2) OR ((((triple9 ((triple9) -> rule8)) -> rule1) triple7) -> rule2) OR ((((triple9 ((triple9) -> rule8)) -> rule1) ((triple9) -> rule8)) -> rule2))] Fiona is white.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11 OR ((triple10 triple12) -> rule5) OR ((triple10 ((triple15) -> rule8)) -> rule5))] Gary is nice.[(triple12 OR ((triple15) -> rule8))] Gary is red.[(triple13 OR ((triple15) -> rule4) OR ((triple14 triple12) -> rule2) OR ((triple14 ((triple15) -> rule8)) -> rule2) OR ((((triple15 triple12) -> rule1) triple12) -> rule2) OR ((((triple15 triple12) -> rule1) ((triple15) -> rule8)) -> rule2) OR ((((triple15 ((triple15) -> rule8)) -> rule1) triple12) -> rule2) OR ((((triple15 ((triple15) -> rule8)) -> rule1) ((triple15) -> rule8)) -> rule2))] Gary is rough.[(triple14 OR ((triple15 triple12) -> rule1) OR ((triple15 ((triple15) -> rule8)) -> rule1))] Gary is white.[(triple15)] @1: Charlie is green.[(((triple1 triple2) -> rule5))] Fiona is green.[(((triple6 triple7) -> rule5) OR ((triple6 ((triple9) -> rule8)) -> rule5))] Fiona is rough.[(((triple9 triple7) -> rule1) OR ((triple9 ((triple9) -> rule8)) -> rule1))] Gary is blue.[(((triple15 triple11) -> rule3) OR ((triple15 ((triple10 triple12) -> rule5)) -> rule3) OR ((triple15 ((triple10 ((triple15) -> rule8)) -> rule5)) -> rule3))]