Bob is kind. Bob is quiet. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. If someone is quiet and rough then they are green. If someone is nice and kind then they are green. All round people are rough. If Charlie is quiet and Charlie is rough then Charlie is cold. If someone is quiet then they are kind. Green, round people are rough. Round people are quiet. If someone is rough then they are cold.
Bob is nice.
@0: Bob is kind.[(triple1 OR ((triple2) -> rule5))] Bob is quiet.[(triple2)] Charlie is cold.[(triple3 OR ((triple8) -> rule8) OR ((triple7 triple8) -> rule4) OR ((((triple9) -> rule3)) -> rule8) OR ((((triple4 triple9) -> rule6)) -> rule8) OR ((triple7 ((triple9) -> rule3)) -> rule4) OR ((triple7 ((triple4 triple9) -> rule6)) -> rule4) OR ((((triple9) -> rule7) triple8) -> rule4) OR ((((triple9) -> rule7) ((triple9) -> rule3)) -> rule4) OR ((((triple9) -> rule7) ((triple4 triple9) -> rule6)) -> rule4) OR ((((((triple6 triple5) -> rule2) triple9) -> rule6)) -> rule8) OR ((triple7 ((((triple6 triple5) -> rule2) triple9) -> rule6)) -> rule4) OR ((((triple9) -> rule7) ((((triple6 triple5) -> rule2) triple9) -> rule6)) -> rule4) OR ((((((triple6 ((triple7) -> rule5)) -> rule2) triple9) -> rule6)) -> rule8) OR ((triple7 ((((triple6 ((triple7) -> rule5)) -> rule2) triple9) -> rule6)) -> rule4) OR ((((triple9) -> rule7) ((((triple6 ((triple7) -> rule5)) -> rule2) triple9) -> rule6)) -> rule4) OR ((((((triple6 ((((triple9) -> rule7)) -> rule5)) -> rule2) triple9) -> rule6)) -> rule8) OR ((triple7 ((((triple6 ((((triple9) -> rule7)) -> rule5)) -> rule2) triple9) -> rule6)) -> rule4) OR ((((triple9) -> rule7) ((((triple6 ((((triple9) -> rule7)) -> rule5)) -> rule2) triple9) -> rule6)) -> rule4))] Charlie is green.[(triple4 OR ((triple6 triple5) -> rule2) OR ((triple7 triple8) -> rule1) OR ((triple6 ((triple7) -> rule5)) -> rule2) OR ((triple7 ((triple9) -> rule3)) -> rule1) OR ((((triple9) -> rule7) triple8) -> rule1) OR ((((triple9) -> rule7) ((triple9) -> rule3)) -> rule1) OR ((triple6 ((((triple9) -> rule7)) -> rule5)) -> rule2))] Charlie is kind.[(triple5 OR ((triple7) -> rule5) OR ((((triple9) -> rule7)) -> rule5))] Charlie is nice.[(triple6)] Charlie is quiet.[(triple7 OR ((triple9) -> rule7))] Charlie is rough.[(triple8 OR ((triple9) -> rule3) OR ((triple4 triple9) -> rule6) OR ((((triple6 triple5) -> rule2) triple9) -> rule6) OR ((((triple6 ((triple7) -> rule5)) -> rule2) triple9) -> rule6) OR ((((triple6 ((((triple9) -> rule7)) -> rule5)) -> rule2) triple9) -> rule6))] Charlie is round.[(triple9)] Fiona is cold.[(triple10 OR ((triple15) -> rule8) OR ((((triple16) -> rule3)) -> rule8) OR ((((triple11 triple16) -> rule6)) -> rule8) OR ((((((triple13 triple12) -> rule2) triple16) -> rule6)) -> rule8) OR ((((((triple13 ((triple14) -> rule5)) -> rule2) triple16) -> rule6)) -> rule8) OR ((((((triple13 ((((triple16) -> rule7)) -> rule5)) -> rule2) triple16) -> rule6)) -> rule8))] Fiona is green.[(triple11 OR ((triple13 triple12) -> rule2) OR ((triple14 triple15) -> rule1) OR ((triple13 ((triple14) -> rule5)) -> rule2) OR ((triple14 ((triple16) -> rule3)) -> rule1) OR ((((triple16) -> rule7) triple15) -> rule1) OR ((((triple16) -> rule7) ((triple16) -> rule3)) -> rule1) OR ((triple13 ((((triple16) -> rule7)) -> rule5)) -> rule2))] Fiona is kind.[(triple12 OR ((triple14) -> rule5) OR ((((triple16) -> rule7)) -> rule5))] Fiona is nice.[(triple13)] Fiona is quiet.[(triple14 OR ((triple16) -> rule7))] Fiona is rough.[(triple15 OR ((triple16) -> rule3) OR ((triple11 triple16) -> rule6) OR ((((triple13 triple12) -> rule2) triple16) -> rule6) OR ((((triple13 ((triple14) -> rule5)) -> rule2) triple16) -> rule6) OR ((((triple13 ((((triple16) -> rule7)) -> rule5)) -> rule2) triple16) -> rule6))] Fiona is round.[(triple16)]