Bob is big. Bob is blue. Bob is cold. Bob is rough. Fiona is big. Fiona is cold. Fiona is kind. Fiona is round. Harry is big. Harry is cold. Harry is nice. Harry is round. If something is blue then it is round. If something is big and nice then it is blue. All blue things are cold. All big things are blue. All rough, big things are kind. If something is kind and blue then it is round.
Harry is not kind.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1) -> rule4))] Bob is cold.[(triple3 OR ((triple2) -> rule3) OR ((((triple1) -> rule4)) -> rule3))] Bob is rough.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6 OR ((((triple5) -> rule4)) -> rule3))] Fiona is kind.[(triple7)] Fiona is round.[(triple8 OR ((((triple5) -> rule4)) -> rule1) OR ((triple7 ((triple5) -> rule4)) -> rule6))] Harry is big.[(triple9)] Harry is cold.[(triple10 OR ((((triple9) -> rule4)) -> rule3) OR ((((triple9 triple11) -> rule2)) -> rule3))] Harry is nice.[(triple11)] Harry is round.[(triple12 OR ((((triple9) -> rule4)) -> rule1) OR ((((triple9 triple11) -> rule2)) -> rule1))] @1: Bob is kind.[(((triple4 triple1) -> rule5))] Bob is round.[(((triple2) -> rule1) OR ((((triple1) -> rule4)) -> rule1) OR ((((triple4 triple1) -> rule5) triple2) -> rule6) OR ((((triple4 triple1) -> rule5) ((triple1) -> rule4)) -> rule6))] Fiona is blue.[(((triple5) -> rule4))] Harry is blue.[(((triple9) -> rule4) OR ((triple9 triple11) -> rule2))]