Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is nice. Dave is red. Dave is round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is red. Fiona is round. If something is red then it is round. If something is green and cold then it is big. All nice things are round. If Fiona is red then Fiona is round. All red things are green. All cold things are round. If Dave is cold then Dave is nice. All blue things are cold.
Fiona is not cold.
@0: Dave is big.[(triple1 OR ((triple4 triple3) -> rule2) OR ((triple4 ((triple2) -> rule8)) -> rule2) OR ((((triple6) -> rule5) triple3) -> rule2) OR ((((triple6) -> rule5) ((triple2) -> rule8)) -> rule2))] Dave is blue.[(triple2)] Dave is cold.[(triple3 OR ((triple2) -> rule8))] Dave is green.[(triple4 OR ((triple6) -> rule5))] Dave is nice.[(triple5 OR ((triple3) -> rule7) OR ((((triple2) -> rule8)) -> rule7))] Dave is red.[(triple6)] Dave is round.[(triple7 OR ((triple3) -> rule6) OR ((triple5) -> rule3) OR ((triple6) -> rule1) OR ((((triple2) -> rule8)) -> rule6) OR ((((triple3) -> rule7)) -> rule3) OR ((((((triple2) -> rule8)) -> rule7)) -> rule3))] Fiona is big.[(triple8 OR ((triple11 triple10) -> rule2) OR ((triple11 ((triple9) -> rule8)) -> rule2) OR ((((triple13) -> rule5) triple10) -> rule2) OR ((((triple13) -> rule5) ((triple9) -> rule8)) -> rule2))] Fiona is blue.[(triple9)] Fiona is cold.[(triple10 OR ((triple9) -> rule8))] Fiona is green.[(triple11 OR ((triple13) -> rule5))] Fiona is nice.[(triple12)] Fiona is red.[(triple13)] Fiona is round.[(triple14 OR ((triple10) -> rule6) OR ((triple12) -> rule3) OR ((triple13) -> rule1) OR ((triple13) -> rule4) OR ((((triple9) -> rule8)) -> rule6))]