Bob is big. Bob is round. Charlie is not cold. Charlie is green. Fiona is big. Fiona is green. Fiona is nice. Fiona is round. Harry is cold. Harry is nice. If someone is rough then they are not nice. All green people are nice. If someone is cold then they are nice. All big people are round. All green, blue people are big. If someone is round then they are not rough. All nice people are blue.
Bob is not green.
@0: Bob is big.[(triple1)] Bob is round.[(triple2 OR ((triple1) -> rule4))] Charlie is green.[(triple4)] Charlie is not cold.[(triple3)] Fiona is big.[(triple5 OR ((triple6 ((triple7) -> rule7)) -> rule5) OR ((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule5))] Fiona is green.[(triple6)] Fiona is nice.[(triple7 OR ((triple6) -> rule2))] Fiona is round.[(triple8 OR ((triple5) -> rule4) OR ((((triple6 ((triple7) -> rule7)) -> rule5)) -> rule4) OR ((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule5)) -> rule4))] Harry is cold.[(triple9)] Harry is nice.[(triple10 OR ((triple9) -> rule3))] @1: Bob is not rough.[(((triple2) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] Charlie is nice.[(((triple4) -> rule2))] Fiona is blue.[(((triple7) -> rule7) OR ((((triple6) -> rule2)) -> rule7))] Fiona is not rough.[(((triple8) -> rule6) OR ((((triple5) -> rule4)) -> rule6) OR ((((((triple6 ((triple7) -> rule7)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple6 ((((triple6) -> rule2)) -> rule7)) -> rule5)) -> rule4)) -> rule6))] Harry is blue.[(((triple10) -> rule7) OR ((((triple9) -> rule3)) -> rule7))] @2: Charlie is blue.[(((((triple4) -> rule2)) -> rule7))] @3: Charlie is big.[(((triple4 ((((triple4) -> rule2)) -> rule7)) -> rule5))] @4: Charlie is round.[(((((triple4 ((((triple4) -> rule2)) -> rule7)) -> rule5)) -> rule4))] @5: Charlie is not rough.[(((((((triple4 ((((triple4) -> rule2)) -> rule7)) -> rule5)) -> rule4)) -> rule6))]