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