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