Fiona is green. Fiona is quiet. Fiona is young. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is round. Gary is white. Gary is young. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is round. Harry is young. If Fiona is young and Fiona is quiet then Fiona is green. All green, young people are white. White people are red. If someone is green and nice then they are quiet. If Fiona is red and Fiona is green then Fiona is young. If someone is red then they are round. If someone is nice and white then they are red. If Harry is nice then Harry is round.
Gary is white.
@0: Fiona is green.[(triple1 OR ((triple3 triple2) -> rule1))] Fiona is quiet.[(triple2)] Fiona is young.[(triple3)] Gary is green.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6 OR ((triple4 triple5) -> rule4))] Gary is red.[(triple7 OR ((triple9) -> rule3) OR ((triple5 triple9) -> rule7) OR ((((triple4 triple10) -> rule2)) -> rule3) OR ((triple5 ((triple4 triple10) -> rule2)) -> rule7))] Gary is round.[(triple8 OR ((triple7) -> rule6) OR ((((triple9) -> rule3)) -> rule6) OR ((((triple5 triple9) -> rule7)) -> rule6) OR ((((((triple4 triple10) -> rule2)) -> rule3)) -> rule6) OR ((((triple5 ((triple4 triple10) -> rule2)) -> rule7)) -> rule6))] Gary is white.[(triple9 OR ((triple4 triple10) -> rule2))] Gary is young.[(triple10)] Harry is green.[(triple11)] Harry is nice.[(triple12)] Harry is quiet.[(triple13 OR ((triple11 triple12) -> rule4))] Harry is red.[(triple14 OR ((((triple11 triple16) -> rule2)) -> rule3) OR ((triple12 ((triple11 triple16) -> rule2)) -> rule7))] Harry is round.[(triple15 OR ((triple12) -> rule8) OR ((triple14) -> rule6) OR ((((((triple11 triple16) -> rule2)) -> rule3)) -> rule6) OR ((((triple12 ((triple11 triple16) -> rule2)) -> rule7)) -> rule6))] Harry is young.[(triple16)] @1: Fiona is white.[(((triple1 triple3) -> rule2) OR ((((triple3 triple2) -> rule1) triple3) -> rule2))] Harry is white.[(((triple11 triple16) -> rule2))] @2: Fiona is red.[(((((triple1 triple3) -> rule2)) -> rule3) OR ((((((triple3 triple2) -> rule1) triple3) -> rule2)) -> rule3))] @3: Fiona is round.[(((((((triple1 triple3) -> rule2)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule1) triple3) -> rule2)) -> rule3)) -> rule6))]