Bob is kind. Bob is nice. Bob is round. Charlie is not kind. Charlie is nice. Charlie is quiet. Charlie is round. Dave is big. Dave is green. Dave is kind. Dave is quiet. Dave is red. If Bob is nice then Bob is not green. Round, big things are nice. All round things are not big. Nice things are not big. If Dave is not kind then Dave is red. If something is nice and not big then it is quiet. If something is kind and not round then it is red. All quiet things are red.
Bob is quiet.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Charlie is nice.[(triple5)] Charlie is not kind.[(triple4)] Charlie is quiet.[(triple6 OR ((triple5 ((triple5) -> rule4)) -> rule6) OR ((triple5 ((triple7) -> rule3)) -> rule6))] Charlie is round.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10)] Dave is quiet.[(triple11)] Dave is red.[(triple12 OR ((triple11) -> rule8))] @1: Bob is not big.[(((triple2) -> rule4) OR ((triple3) -> rule3))] Bob is not green.[(((triple2) -> rule1))] Charlie is not big.[(((triple5) -> rule4) OR ((triple7) -> rule3))] Charlie is red.[(((triple6) -> rule8) OR ((((triple5 ((triple5) -> rule4)) -> rule6)) -> rule8) OR ((((triple5 ((triple7) -> rule3)) -> rule6)) -> rule8))] @2: Bob is quiet.[(((triple2 ((triple2) -> rule4)) -> rule6) OR ((triple2 ((triple3) -> rule3)) -> rule6))] @3: Bob is red.[(((((triple2 ((triple2) -> rule4)) -> rule6)) -> rule8) OR ((((triple2 ((triple3) -> rule3)) -> rule6)) -> rule8))]