Anne is big. Anne is kind. Anne is quiet. Anne is rough. Bob is big. Bob is kind. Bob is quiet. Bob is round. Bob is young. Dave is big. Dave is quiet. Dave is round. Fiona is big. Fiona is kind. Fiona is rough. If something is big then it is young. If something is cold then it is kind. If something is quiet and cold then it is kind. If something is cold then it is round. If something is young and round then it is rough. If something is young then it is big. If Fiona is round then Fiona is big. If something is rough then it is cold.
Dave is cold.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2 OR ((((triple4) -> rule8)) -> rule2) OR ((triple3 ((triple4) -> rule8)) -> rule3))] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Bob is big.[(triple5 OR ((triple9) -> rule6))] Bob is kind.[(triple6 OR ((((((triple9 triple8) -> rule5)) -> rule8)) -> rule2) OR ((triple7 ((((triple9 triple8) -> rule5)) -> rule8)) -> rule3) OR ((((((((triple5) -> rule1) triple8) -> rule5)) -> rule8)) -> rule2) OR ((triple7 ((((((triple5) -> rule1) triple8) -> rule5)) -> rule8)) -> rule3))] Bob is quiet.[(triple7)] Bob is round.[(triple8)] Bob is young.[(triple9 OR ((triple5) -> rule1))] Dave is big.[(triple10)] Dave is quiet.[(triple11)] Dave is round.[(triple12)] Fiona is big.[(triple13 OR ((((((triple15) -> rule8)) -> rule4)) -> rule7))] Fiona is kind.[(triple14 OR ((((triple15) -> rule8)) -> rule2))] Fiona is rough.[(triple15)] @1: Anne is cold.[(((triple4) -> rule8))] Anne is young.[(((triple1) -> rule1))] Bob is rough.[(((triple9 triple8) -> rule5) OR ((((triple5) -> rule1) triple8) -> rule5))] Dave is young.[(((triple10) -> rule1))] Fiona is cold.[(((triple15) -> rule8))] Fiona is young.[(((triple13) -> rule1) OR ((((((((triple15) -> rule8)) -> rule4)) -> rule7)) -> rule1))] @2: Anne is round.[(((((triple4) -> rule8)) -> rule4))] Bob is cold.[(((((triple9 triple8) -> rule5)) -> rule8) OR ((((((triple5) -> rule1) triple8) -> rule5)) -> rule8))] Dave is rough.[(((((triple10) -> rule1) triple12) -> rule5))] Fiona is round.[(((((triple15) -> rule8)) -> rule4))] @3: Dave is cold.[(((((((triple10) -> rule1) triple12) -> rule5)) -> rule8))] @4: Dave is kind.[(((((((((triple10) -> rule1) triple12) -> rule5)) -> rule8)) -> rule2) OR ((triple11 ((((((triple10) -> rule1) triple12) -> rule5)) -> rule8)) -> rule3))]