Anne is big. Anne is quiet. Anne is round. Bob is kind. Bob is quiet. Charlie is blue. Dave is blue. All big things are quiet. If Anne is young then Anne is kind. If something is blue then it is round. If something is kind and nice then it is quiet. If Charlie is quiet then Charlie is nice. Round, big things are blue. If something is round then it is young. If something is young then it is big.
Dave is not round.
@0: Anne is big.[(triple1 OR ((((triple3) -> rule7)) -> rule8))] Anne is quiet.[(triple2 OR ((triple1) -> rule1) OR ((((((triple3) -> rule7)) -> rule8)) -> rule1))] Anne is round.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Charlie is blue.[(triple6)] Dave is blue.[(triple7)] @1: Anne is blue.[(((triple3 triple1) -> rule6) OR ((triple3 ((((triple3) -> rule7)) -> rule8)) -> rule6))] Anne is young.[(((triple3) -> rule7))] Charlie is round.[(((triple6) -> rule3))] Dave is round.[(((triple7) -> rule3))] @2: Anne is kind.[(((((triple3) -> rule7)) -> rule2))] Charlie is young.[(((((triple6) -> rule3)) -> rule7))] Dave is young.[(((((triple7) -> rule3)) -> rule7))] @3: Charlie is big.[(((((((triple6) -> rule3)) -> rule7)) -> rule8))] Dave is big.[(((((((triple7) -> rule3)) -> rule7)) -> rule8))] @4: Charlie is quiet.[(((((((((triple6) -> rule3)) -> rule7)) -> rule8)) -> rule1))] Dave is quiet.[(((((((((triple7) -> rule3)) -> rule7)) -> rule8)) -> rule1))] @5: Charlie is nice.[(((((((((((triple6) -> rule3)) -> rule7)) -> rule8)) -> rule1)) -> rule5))]