Charlie is kind. Charlie is rough. Charlie is round. Charlie is white. Dave is kind. Dave is rough. Dave is white. Erin is kind. Erin is quiet. Fiona is big. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. Fiona is white. All rough, big things are round. If something is white and rough then it is big. White, quiet things are big. If Charlie is kind then Charlie is white. If something is kind and quiet then it is white. If Fiona is red then Fiona is big. All quiet, red things are rough. All red, round things are quiet.
Erin is red.
@0: Charlie is kind.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3 OR ((triple2 ((triple4 triple2) -> rule2)) -> rule1) OR ((triple2 ((((triple1) -> rule4) triple2) -> rule2)) -> rule1))] Charlie is white.[(triple4 OR ((triple1) -> rule4))] Dave is kind.[(triple5)] Dave is rough.[(triple6)] Dave is white.[(triple7)] Erin is kind.[(triple8)] Erin is quiet.[(triple9)] Fiona is big.[(triple10 OR ((triple13) -> rule6) OR ((triple15 triple12) -> rule3) OR ((triple15 ((triple12 triple13) -> rule7)) -> rule2) OR ((triple15 ((triple13 triple14) -> rule8)) -> rule3) OR ((((triple11 triple12) -> rule5) triple12) -> rule3) OR ((((triple11 triple12) -> rule5) ((triple12 triple13) -> rule7)) -> rule2) OR ((((triple11 triple12) -> rule5) ((triple13 triple14) -> rule8)) -> rule3) OR ((triple15 ((((triple13 triple14) -> rule8) triple13) -> rule7)) -> rule2) OR ((((triple11 ((triple13 triple14) -> rule8)) -> rule5) triple12) -> rule3) OR ((((triple11 triple12) -> rule5) ((((triple13 triple14) -> rule8) triple13) -> rule7)) -> rule2) OR ((((triple11 ((triple13 triple14) -> rule8)) -> rule5) ((triple12 triple13) -> rule7)) -> rule2) OR ((((triple11 ((triple13 triple14) -> rule8)) -> rule5) ((triple13 triple14) -> rule8)) -> rule3) OR ((((triple11 ((triple13 triple14) -> rule8)) -> rule5) ((((triple13 triple14) -> rule8) triple13) -> rule7)) -> rule2))] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12 OR ((triple13 triple14) -> rule8))] Fiona is red.[(triple13)] Fiona is round.[(triple14 OR ((((triple12 triple13) -> rule7) triple10) -> rule1) OR ((((triple12 triple13) -> rule7) ((triple13) -> rule6)) -> rule1) OR ((((triple12 triple13) -> rule7) ((triple15 triple12) -> rule3)) -> rule1) OR ((((triple12 triple13) -> rule7) ((triple15 ((triple12 triple13) -> rule7)) -> rule2)) -> rule1) OR ((((triple12 triple13) -> rule7) ((((triple11 triple12) -> rule5) triple12) -> rule3)) -> rule1) OR ((((triple12 triple13) -> rule7) ((((triple11 triple12) -> rule5) ((triple12 triple13) -> rule7)) -> rule2)) -> rule1))] Fiona is white.[(triple15 OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple13 triple14) -> rule8)) -> rule5))] @1: Charlie is big.[(((triple4 triple2) -> rule2) OR ((((triple1) -> rule4) triple2) -> rule2))] Dave is big.[(((triple7 triple6) -> rule2))] Erin is white.[(((triple8 triple9) -> rule5))] Fiona is rough.[(((triple12 triple13) -> rule7) OR ((((triple13 triple14) -> rule8) triple13) -> rule7))] @2: Dave is round.[(((triple6 ((triple7 triple6) -> rule2)) -> rule1))] Erin is big.[(((((triple8 triple9) -> rule5) triple9) -> rule3))]