Charlie is kind. Charlie is quiet. Erin is blue. Erin is green. Erin is red. Erin is rough. Erin is round. Fiona is quiet. Harry is blue. Harry is green. Harry is quiet. Harry is red. Round, green things are rough. Red things are round. If something is quiet then it is kind. Blue, rough things are green. Round things are blue. If something is rough then it is red. All kind things are green. If something is blue then it is rough. If something is quiet and green then it is rough.
Fiona is quiet.
@0: Charlie is kind.[(triple1 OR ((triple2) -> rule3))] Charlie is quiet.[(triple2)] Erin is blue.[(triple3 OR ((triple7) -> rule5) OR ((((triple5) -> rule2)) -> rule5) OR ((((((triple6) -> rule6)) -> rule2)) -> rule5))] Erin is green.[(triple4 OR ((triple3 triple6) -> rule4) OR ((triple3 ((triple3) -> rule8)) -> rule4) OR ((((triple7) -> rule5) triple6) -> rule4) OR ((((triple7) -> rule5) ((triple3) -> rule8)) -> rule4) OR ((triple3 ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((((triple5) -> rule2)) -> rule5) triple6) -> rule4) OR ((((triple7) -> rule5) ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((((triple5) -> rule2)) -> rule5) ((triple3) -> rule8)) -> rule4) OR ((((((triple5) -> rule2)) -> rule5) ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((triple3 ((((((triple5) -> rule2)) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule6)) -> rule2)) -> rule5) triple6) -> rule4) OR ((((triple7) -> rule5) ((((((triple5) -> rule2)) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule6)) -> rule2)) -> rule5) ((triple3) -> rule8)) -> rule4) OR ((((((triple5) -> rule2)) -> rule5) ((((((triple5) -> rule2)) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule6)) -> rule2)) -> rule5) ((((triple7) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule6)) -> rule2)) -> rule5) ((((((triple5) -> rule2)) -> rule5)) -> rule8)) -> rule4))] Erin is red.[(triple5 OR ((triple6) -> rule6) OR ((((triple3) -> rule8)) -> rule6) OR ((((triple7 triple4) -> rule1)) -> rule6) OR ((((((triple7) -> rule5)) -> rule8)) -> rule6))] Erin is rough.[(triple6 OR ((triple3) -> rule8) OR ((triple7 triple4) -> rule1) OR ((((triple7) -> rule5)) -> rule8) OR ((((triple5) -> rule2) triple4) -> rule1) OR ((((((triple5) -> rule2)) -> rule5)) -> rule8))] Erin is round.[(triple7 OR ((triple5) -> rule2) OR ((((triple6) -> rule6)) -> rule2) OR ((((((triple3) -> rule8)) -> rule6)) -> rule2))] Fiona is quiet.[(triple8)] Harry is blue.[(triple9 OR ((((triple12) -> rule2)) -> rule5) OR ((((((((triple11 triple10) -> rule9)) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple11 ((((triple11) -> rule3)) -> rule7)) -> rule9)) -> rule6)) -> rule2)) -> rule5))] Harry is green.[(triple10 OR ((((triple11) -> rule3)) -> rule7) OR ((triple9 ((triple9) -> rule8)) -> rule4) OR ((((((triple12) -> rule2)) -> rule5) ((triple9) -> rule8)) -> rule4) OR ((triple9 ((((((triple12) -> rule2)) -> rule5)) -> rule8)) -> rule4) OR ((((((triple12) -> rule2)) -> rule5) ((((((triple12) -> rule2)) -> rule5)) -> rule8)) -> rule4))] Harry is quiet.[(triple11)] Harry is red.[(triple12 OR ((((triple9) -> rule8)) -> rule6) OR ((((triple11 triple10) -> rule9)) -> rule6) OR ((((triple11 ((((triple11) -> rule3)) -> rule7)) -> rule9)) -> rule6))] @1: Charlie is green.[(((triple1) -> rule7) OR ((((triple2) -> rule3)) -> rule7))] Fiona is kind.[(((triple8) -> rule3))] Harry is kind.[(((triple11) -> rule3))] Harry is rough.[(((triple9) -> rule8) OR ((triple11 triple10) -> rule9) OR ((((triple12) -> rule2) triple10) -> rule1) OR ((((((triple12) -> rule2)) -> rule5)) -> rule8) OR ((triple11 ((((triple11) -> rule3)) -> rule7)) -> rule9) OR ((((triple12) -> rule2) ((((triple11) -> rule3)) -> rule7)) -> rule1))] Harry is round.[(((triple12) -> rule2) OR ((((((triple9) -> rule8)) -> rule6)) -> rule2) OR ((((((triple11 triple10) -> rule9)) -> rule6)) -> rule2) OR ((((((triple11 ((((triple11) -> rule3)) -> rule7)) -> rule9)) -> rule6)) -> rule2))] @2: Charlie is rough.[(((triple2 ((triple1) -> rule7)) -> rule9) OR ((triple2 ((((triple2) -> rule3)) -> rule7)) -> rule9))] Fiona is green.[(((((triple8) -> rule3)) -> rule7))] @3: Charlie is red.[(((((triple2 ((triple1) -> rule7)) -> rule9)) -> rule6) OR ((((triple2 ((((triple2) -> rule3)) -> rule7)) -> rule9)) -> rule6))] Fiona is rough.[(((triple8 ((((triple8) -> rule3)) -> rule7)) -> rule9))] @4: Charlie is round.[(((((((triple2 ((triple1) -> rule7)) -> rule9)) -> rule6)) -> rule2) OR ((((((triple2 ((((triple2) -> rule3)) -> rule7)) -> rule9)) -> rule6)) -> rule2))] Fiona is red.[(((((triple8 ((((triple8) -> rule3)) -> rule7)) -> rule9)) -> rule6))] @5: Charlie is blue.[(((((((((triple2 ((triple1) -> rule7)) -> rule9)) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple2 ((((triple2) -> rule3)) -> rule7)) -> rule9)) -> rule6)) -> rule2)) -> rule5))] Fiona is round.[(((((((triple8 ((((triple8) -> rule3)) -> rule7)) -> rule9)) -> rule6)) -> rule2))] @6: Fiona is blue.[(((((((((triple8 ((((triple8) -> rule3)) -> rule7)) -> rule9)) -> rule6)) -> rule2)) -> rule5))]