Bob is blue. Bob is green. Bob is quiet. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is round. Gary is cold. Gary is red. Gary is round. Harry is red. All green, big people are quiet. If someone is red then they are big. If someone is big then they are round. If someone is quiet and green then they are blue. Quiet, big people are red. All round people are green.
Bob is big.
@0: Bob is blue.[(triple1 OR ((triple3 triple2) -> rule4))] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Fiona is blue.[(triple4 OR ((triple6 triple5) -> rule4) OR ((triple6 ((triple7) -> rule6)) -> rule4))] Fiona is green.[(triple5 OR ((triple7) -> rule6))] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] Gary is cold.[(triple8)] Gary is red.[(triple9)] Gary is round.[(triple10 OR ((((triple9) -> rule2)) -> rule3))] Harry is red.[(triple11)] @1: Gary is big.[(((triple9) -> rule2))] Gary is green.[(((triple10) -> rule6) OR ((((((triple9) -> rule2)) -> rule3)) -> rule6))] Harry is big.[(((triple11) -> rule2))] @2: Gary is quiet.[(((((triple10) -> rule6) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule6) ((triple9) -> rule2)) -> rule1))] Harry is round.[(((((triple11) -> rule2)) -> rule3))] @3: Gary is blue.[(((((((triple10) -> rule6) ((triple9) -> rule2)) -> rule1) ((triple10) -> rule6)) -> rule4) OR ((((((triple10) -> rule6) ((triple9) -> rule2)) -> rule1) ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4) OR ((((((((((triple9) -> rule2)) -> rule3)) -> rule6) ((triple9) -> rule2)) -> rule1) ((triple10) -> rule6)) -> rule4) OR ((((((((((triple9) -> rule2)) -> rule3)) -> rule6) ((triple9) -> rule2)) -> rule1) ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4))] Harry is green.[(((((((triple11) -> rule2)) -> rule3)) -> rule6))] @4: Harry is quiet.[(((((((((triple11) -> rule2)) -> rule3)) -> rule6) ((triple11) -> rule2)) -> rule1))] @5: Harry is blue.[(((((((((((triple11) -> rule2)) -> rule3)) -> rule6) ((triple11) -> rule2)) -> rule1) ((((((triple11) -> rule2)) -> rule3)) -> rule6)) -> rule4))]