Charlie is cold. Charlie is red. Charlie is round. Charlie is young. Dave is cold. Fiona is big. Fiona is cold. Fiona is green. Fiona is round. Fiona is young. All cold things are big. If something is young and rough then it is round. All round things are green. If something is cold then it is round. If Dave is green then Dave is red. All big, round things are young. If something is red and green then it is cold. If Charlie is young then Charlie is round.
Charlie is not rough.
@0: Charlie is cold.[(triple1 OR ((triple2 ((triple3) -> rule3)) -> rule7) OR ((triple2 ((((triple4) -> rule8)) -> rule3)) -> rule7))] Charlie is red.[(triple2)] Charlie is round.[(triple3 OR ((triple1) -> rule4) OR ((triple4) -> rule8))] Charlie is young.[(triple4 OR ((((triple1) -> rule1) triple3) -> rule6) OR ((((triple1) -> rule1) ((triple1) -> rule4)) -> rule6) OR ((((((triple2 ((triple3) -> rule3)) -> rule7)) -> rule1) triple3) -> rule6) OR ((((((triple2 ((triple3) -> rule3)) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule6))] Dave is cold.[(triple5)] Fiona is big.[(triple6 OR ((triple7) -> rule1))] Fiona is cold.[(triple7)] Fiona is green.[(triple8 OR ((triple9) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] Fiona is round.[(triple9 OR ((triple7) -> rule4))] Fiona is young.[(triple10 OR ((triple6 triple9) -> rule6) OR ((triple6 ((triple7) -> rule4)) -> rule6) OR ((((triple7) -> rule1) triple9) -> rule6) OR ((((triple7) -> rule1) ((triple7) -> rule4)) -> rule6))] @1: Charlie is big.[(((triple1) -> rule1) OR ((((triple2 ((triple3) -> rule3)) -> rule7)) -> rule1) OR ((((triple2 ((((triple4) -> rule8)) -> rule3)) -> rule7)) -> rule1))] Charlie is green.[(((triple3) -> rule3) OR ((((triple1) -> rule4)) -> rule3) OR ((((triple4) -> rule8)) -> rule3))] Dave is big.[(((triple5) -> rule1))] Dave is round.[(((triple5) -> rule4))] @2: Dave is green.[(((((triple5) -> rule4)) -> rule3))] Dave is young.[(((((triple5) -> rule1) ((triple5) -> rule4)) -> rule6))] @3: Dave is red.[(((((((triple5) -> rule4)) -> rule3)) -> rule5))]