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