Charlie is blue. Charlie is nice. Charlie is round. Charlie is white. Erin is blue. Erin is white. Fiona is cold. Fiona is quiet. Harry is blue. Harry is cold. Harry is round. Harry is white. All nice, round things are young. Young things are round. All round things are quiet. If something is round and white then it is blue. If something is quiet and white then it is nice. All blue things are round. Cold, quiet things are white. All nice things are blue.
Erin is not round.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule8) OR ((triple3 triple4) -> rule4) OR ((((((triple3) -> rule3) triple4) -> rule5)) -> rule8))] Charlie is nice.[(triple2 OR ((((triple3) -> rule3) triple4) -> rule5) OR ((((((triple1) -> rule6)) -> rule3) triple4) -> rule5))] Charlie is round.[(triple3 OR ((triple1) -> rule6) OR ((((triple2) -> rule8)) -> rule6))] Charlie is white.[(triple4)] Erin is blue.[(triple5)] Erin is white.[(triple6)] Fiona is cold.[(triple7)] Fiona is quiet.[(triple8)] Harry is blue.[(triple9 OR ((triple11 triple12) -> rule4) OR ((((((triple11) -> rule3) triple12) -> rule5)) -> rule8) OR ((triple11 ((triple10 ((triple11) -> rule3)) -> rule7)) -> rule4) OR ((((((triple11) -> rule3) ((triple10 ((triple11) -> rule3)) -> rule7)) -> rule5)) -> rule8))] Harry is cold.[(triple10)] Harry is round.[(triple11 OR ((triple9) -> rule6))] Harry is white.[(triple12 OR ((triple10 ((triple11) -> rule3)) -> rule7) OR ((triple10 ((((triple9) -> rule6)) -> rule3)) -> rule7))] @1: Charlie is quiet.[(((triple3) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((((((triple2) -> rule8)) -> rule6)) -> rule3))] Charlie is young.[(((triple2 triple3) -> rule1) OR ((triple2 ((triple1) -> rule6)) -> rule1) OR ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule1) OR ((((((triple3) -> rule3) triple4) -> rule5) triple3) -> rule1) OR ((((((triple3) -> rule3) triple4) -> rule5) ((triple1) -> rule6)) -> rule1) OR ((((((triple3) -> rule3) triple4) -> rule5) ((((triple2) -> rule8)) -> rule6)) -> rule1) OR ((((((((triple1) -> rule6)) -> rule3) triple4) -> rule5) triple3) -> rule1) OR ((((((((triple1) -> rule6)) -> rule3) triple4) -> rule5) ((triple1) -> rule6)) -> rule1) OR ((((((((triple1) -> rule6)) -> rule3) triple4) -> rule5) ((((triple2) -> rule8)) -> rule6)) -> rule1))] Erin is round.[(((triple5) -> rule6))] Fiona is white.[(((triple7 triple8) -> rule7))] Harry is quiet.[(((triple11) -> rule3) OR ((((triple9) -> rule6)) -> rule3))] @2: Erin is quiet.[(((((triple5) -> rule6)) -> rule3))] Fiona is nice.[(((triple8 ((triple7 triple8) -> rule7)) -> rule5))] Harry is nice.[(((((triple11) -> rule3) triple12) -> rule5) OR ((((((triple9) -> rule6)) -> rule3) triple12) -> rule5) OR ((((triple11) -> rule3) ((triple10 ((triple11) -> rule3)) -> rule7)) -> rule5) OR ((((((triple9) -> rule6)) -> rule3) ((triple10 ((triple11) -> rule3)) -> rule7)) -> rule5) OR ((((triple11) -> rule3) ((triple10 ((((triple9) -> rule6)) -> rule3)) -> rule7)) -> rule5) OR ((((((triple9) -> rule6)) -> rule3) ((triple10 ((((triple9) -> rule6)) -> rule3)) -> rule7)) -> rule5))] @3: Erin is nice.[(((((((triple5) -> rule6)) -> rule3) triple6) -> rule5))] Fiona is blue.[(((((triple8 ((triple7 triple8) -> rule7)) -> rule5)) -> rule8))] Harry is young.[(((((((triple11) -> rule3) triple12) -> rule5) triple11) -> rule1) OR ((((((triple11) -> rule3) triple12) -> rule5) ((triple9) -> rule6)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule3) triple12) -> rule5) triple11) -> rule1) OR ((((((triple11) -> rule3) ((triple10 ((triple11) -> rule3)) -> rule7)) -> rule5) triple11) -> rule1) OR ((((((((triple9) -> rule6)) -> rule3) triple12) -> rule5) ((triple9) -> rule6)) -> rule1) OR ((((((triple11) -> rule3) ((triple10 ((triple11) -> rule3)) -> rule7)) -> rule5) ((triple9) -> rule6)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule3) ((triple10 ((triple11) -> rule3)) -> rule7)) -> rule5) triple11) -> rule1) OR ((((((((triple9) -> rule6)) -> rule3) ((triple10 ((triple11) -> rule3)) -> rule7)) -> rule5) ((triple9) -> rule6)) -> rule1) OR ((((((triple11) -> rule3) ((triple10 ((((triple9) -> rule6)) -> rule3)) -> rule7)) -> rule5) triple11) -> rule1) OR ((((((triple11) -> rule3) ((triple10 ((((triple9) -> rule6)) -> rule3)) -> rule7)) -> rule5) ((triple9) -> rule6)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule3) ((triple10 ((((triple9) -> rule6)) -> rule3)) -> rule7)) -> rule5) triple11) -> rule1) OR ((((((((triple9) -> rule6)) -> rule3) ((triple10 ((((triple9) -> rule6)) -> rule3)) -> rule7)) -> rule5) ((triple9) -> rule6)) -> rule1))] @4: Erin is young.[(((((((((triple5) -> rule6)) -> rule3) triple6) -> rule5) ((triple5) -> rule6)) -> rule1))] Fiona is round.[(((((((triple8 ((triple7 triple8) -> rule7)) -> rule5)) -> rule8)) -> rule6))] @5: Fiona is young.[(((((triple8 ((triple7 triple8) -> rule7)) -> rule5) ((((((triple8 ((triple7 triple8) -> rule7)) -> rule5)) -> rule8)) -> rule6)) -> rule1))]