Charlie is big. Charlie is kind. Charlie is quiet. Dave is blue. Dave is kind. Dave is red. Dave is rough. Fiona is big. Fiona is kind. Fiona is quiet. Harry is big. Harry is red. If someone is blue then they are kind. All big, nice people are quiet. If someone is kind and quiet then they are nice. Kind people are quiet. If someone is rough then they are quiet. All big people are kind. Nice people are red. If someone is kind then they are big.
Charlie is not blue.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule8))] Charlie is kind.[(triple2 OR ((triple1) -> rule6))] Charlie is quiet.[(triple3 OR ((triple2) -> rule4) OR ((((triple1) -> rule6)) -> rule4))] Dave is blue.[(triple4)] Dave is kind.[(triple5 OR ((triple4) -> rule1))] Dave is red.[(triple6 OR ((((triple5 ((triple5) -> rule4)) -> rule3)) -> rule7) OR ((((triple5 ((triple7) -> rule5)) -> rule3)) -> rule7) OR ((((((triple4) -> rule1) ((triple5) -> rule4)) -> rule3)) -> rule7) OR ((((((triple4) -> rule1) ((triple7) -> rule5)) -> rule3)) -> rule7) OR ((((triple5 ((((triple4) -> rule1)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple4) -> rule1) ((((triple4) -> rule1)) -> rule4)) -> rule3)) -> rule7))] Dave is rough.[(triple7)] Fiona is big.[(triple8 OR ((triple9) -> rule8))] Fiona is kind.[(triple9 OR ((triple8) -> rule6))] Fiona is quiet.[(triple10 OR ((triple9) -> rule4) OR ((((triple8) -> rule6)) -> rule4))] Harry is big.[(triple11)] Harry is red.[(triple12 OR ((((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule4)) -> rule3)) -> rule7))] @1: Charlie is nice.[(((triple2 triple3) -> rule3) OR ((triple2 ((triple2) -> rule4)) -> rule3) OR ((((triple1) -> rule6) triple3) -> rule3) OR ((((triple1) -> rule6) ((triple2) -> rule4)) -> rule3) OR ((triple2 ((((triple1) -> rule6)) -> rule4)) -> rule3) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule4)) -> rule3))] Dave is big.[(((triple5) -> rule8) OR ((((triple4) -> rule1)) -> rule8))] Dave is quiet.[(((triple5) -> rule4) OR ((triple7) -> rule5) OR ((((triple4) -> rule1)) -> rule4))] Fiona is nice.[(((triple9 triple10) -> rule3) OR ((triple9 ((triple9) -> rule4)) -> rule3) OR ((((triple8) -> rule6) triple10) -> rule3) OR ((((triple8) -> rule6) ((triple9) -> rule4)) -> rule3) OR ((triple9 ((((triple8) -> rule6)) -> rule4)) -> rule3) OR ((((triple8) -> rule6) ((((triple8) -> rule6)) -> rule4)) -> rule3))] Harry is kind.[(((triple11) -> rule6))] @2: Charlie is red.[(((((triple2 triple3) -> rule3)) -> rule7) OR ((((triple2 ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((((triple1) -> rule6) triple3) -> rule3)) -> rule7) OR ((((((triple1) -> rule6) ((triple2) -> rule4)) -> rule3)) -> rule7) OR ((((triple2 ((((triple1) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule4)) -> rule3)) -> rule7))] Dave is nice.[(((triple5 ((triple5) -> rule4)) -> rule3) OR ((triple5 ((triple7) -> rule5)) -> rule3) OR ((((triple4) -> rule1) ((triple5) -> rule4)) -> rule3) OR ((((triple4) -> rule1) ((triple7) -> rule5)) -> rule3) OR ((triple5 ((((triple4) -> rule1)) -> rule4)) -> rule3) OR ((((triple4) -> rule1) ((((triple4) -> rule1)) -> rule4)) -> rule3))] Fiona is red.[(((((triple9 triple10) -> rule3)) -> rule7) OR ((((triple9 ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((((triple8) -> rule6) triple10) -> rule3)) -> rule7) OR ((((((triple8) -> rule6) ((triple9) -> rule4)) -> rule3)) -> rule7) OR ((((triple9 ((((triple8) -> rule6)) -> rule4)) -> rule3)) -> rule7) OR ((((((triple8) -> rule6) ((((triple8) -> rule6)) -> rule4)) -> rule3)) -> rule7))] Harry is quiet.[(((((triple11) -> rule6)) -> rule4))] @3: Harry is nice.[(((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule4)) -> rule3))]