Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is not rough. Bob is round. Charlie is big. Charlie is cold. Charlie is not green. Charlie is kind. Dave is not big. Dave is kind. Dave is round. Fiona is green. Fiona is not rough. All quiet, kind things are green. Round, big things are quiet. All quiet, big things are kind. All cold things are big. All quiet, rough things are big. Kind, rough things are big.
Charlie is not big.
@0: Bob is big.[(triple1 OR ((triple2) -> rule4))] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((((triple6 triple1) -> rule2) triple4) -> rule1) OR ((((triple6 ((triple2) -> rule4)) -> rule2) triple4) -> rule1) OR ((((triple6 triple1) -> rule2) ((((triple6 triple1) -> rule2) triple1) -> rule3)) -> rule1) OR ((((triple6 triple1) -> rule2) ((((triple6 triple1) -> rule2) ((triple2) -> rule4)) -> rule3)) -> rule1) OR ((((triple6 ((triple2) -> rule4)) -> rule2) ((((triple6 triple1) -> rule2) triple1) -> rule3)) -> rule1) OR ((((triple6 ((triple2) -> rule4)) -> rule2) ((((triple6 triple1) -> rule2) ((triple2) -> rule4)) -> rule3)) -> rule1) OR ((((triple6 triple1) -> rule2) ((((triple6 ((triple2) -> rule4)) -> rule2) triple1) -> rule3)) -> rule1) OR ((((triple6 triple1) -> rule2) ((((triple6 ((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule3)) -> rule1) OR ((((triple6 ((triple2) -> rule4)) -> rule2) ((((triple6 ((triple2) -> rule4)) -> rule2) triple1) -> rule3)) -> rule1) OR ((((triple6 ((triple2) -> rule4)) -> rule2) ((((triple6 ((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule3)) -> rule1))] Bob is kind.[(triple4 OR ((((triple6 triple1) -> rule2) triple1) -> rule3) OR ((((triple6 triple1) -> rule2) ((triple2) -> rule4)) -> rule3) OR ((((triple6 ((triple2) -> rule4)) -> rule2) triple1) -> rule3) OR ((((triple6 ((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule3))] Bob is not rough.[(triple5)] Bob is round.[(triple6)] Charlie is big.[(triple7 OR ((triple8) -> rule4))] Charlie is cold.[(triple8)] Charlie is kind.[(triple10)] Charlie is not green.[(triple9)] Dave is kind.[(triple12)] Dave is not big.[(triple11)] Dave is round.[(triple13)] Fiona is green.[(triple14)] Fiona is not rough.[(triple15)] @1: Bob is quiet.[(((triple6 triple1) -> rule2) OR ((triple6 ((triple2) -> rule4)) -> rule2))]