Bob is big. Bob is kind. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Charlie is blue. Charlie is rough. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is smart. Quiet people are blue. If someone is kind and quiet then they are smart. Rough, nice people are quiet. If someone is smart then they are blue. All kind, rough people are nice. All kind, smart people are big. All big people are kind. If someone is blue then they are big.
Charlie is not nice.
@0: Bob is big.[(triple1 OR ((triple2 triple6) -> rule6) OR ((((triple4) -> rule1)) -> rule8) OR ((((triple6) -> rule4)) -> rule8) OR ((triple2 ((triple2 triple4) -> rule2)) -> rule6) OR ((((((triple2 triple4) -> rule2)) -> rule4)) -> rule8) OR ((((((triple5 triple3) -> rule3)) -> rule1)) -> rule8) OR ((triple2 ((triple2 ((triple5 triple3) -> rule3)) -> rule2)) -> rule6) OR ((((((triple2 ((triple5 triple3) -> rule3)) -> rule2)) -> rule4)) -> rule8) OR ((((((triple5 ((triple2 triple5) -> rule5)) -> rule3)) -> rule1)) -> rule8) OR ((triple2 ((triple2 ((triple5 ((triple2 triple5) -> rule5)) -> rule3)) -> rule2)) -> rule6) OR ((((((triple2 ((triple5 ((triple2 triple5) -> rule5)) -> rule3)) -> rule2)) -> rule4)) -> rule8))] Bob is kind.[(triple2 OR ((triple1) -> rule7) OR ((((((triple4) -> rule1)) -> rule8)) -> rule7) OR ((((((triple6) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple5 triple3) -> rule3)) -> rule1)) -> rule8)) -> rule7))] Bob is nice.[(triple3 OR ((triple2 triple5) -> rule5) OR ((((triple1) -> rule7) triple5) -> rule5) OR ((((((((triple4) -> rule1)) -> rule8)) -> rule7) triple5) -> rule5) OR ((((((((triple6) -> rule4)) -> rule8)) -> rule7) triple5) -> rule5))] Bob is quiet.[(triple4 OR ((triple5 triple3) -> rule3) OR ((triple5 ((triple2 triple5) -> rule5)) -> rule3) OR ((triple5 ((((triple1) -> rule7) triple5) -> rule5)) -> rule3) OR ((triple5 ((((((((triple6) -> rule4)) -> rule8)) -> rule7) triple5) -> rule5)) -> rule3))] Bob is rough.[(triple5)] Bob is smart.[(triple6 OR ((triple2 triple4) -> rule2) OR ((triple2 ((triple5 triple3) -> rule3)) -> rule2) OR ((((triple1) -> rule7) triple4) -> rule2) OR ((((triple1) -> rule7) ((triple5 triple3) -> rule3)) -> rule2) OR ((triple2 ((triple5 ((triple2 triple5) -> rule5)) -> rule3)) -> rule2) OR ((((triple1) -> rule7) ((triple5 ((triple2 triple5) -> rule5)) -> rule3)) -> rule2) OR ((triple2 ((triple5 ((((triple1) -> rule7) triple5) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple4) -> rule1)) -> rule8)) -> rule7) triple4) -> rule2) OR ((((triple1) -> rule7) ((triple5 ((((triple1) -> rule7) triple5) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple4) -> rule1)) -> rule8)) -> rule7) ((triple5 triple3) -> rule3)) -> rule2) OR ((((((((triple4) -> rule1)) -> rule8)) -> rule7) ((triple5 ((triple2 triple5) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple4) -> rule1)) -> rule8)) -> rule7) ((triple5 ((((triple1) -> rule7) triple5) -> rule5)) -> rule3)) -> rule2) OR ((((((((((triple5 triple3) -> rule3)) -> rule1)) -> rule8)) -> rule7) triple4) -> rule2) OR ((((((((((triple5 triple3) -> rule3)) -> rule1)) -> rule8)) -> rule7) ((triple5 triple3) -> rule3)) -> rule2) OR ((((((((((triple5 triple3) -> rule3)) -> rule1)) -> rule8)) -> rule7) ((triple5 ((triple2 triple5) -> rule5)) -> rule3)) -> rule2) OR ((((((((((triple5 triple3) -> rule3)) -> rule1)) -> rule8)) -> rule7) ((triple5 ((((triple1) -> rule7) triple5) -> rule5)) -> rule3)) -> rule2))] Charlie is blue.[(triple7)] Charlie is rough.[(triple8)] Harry is big.[(triple9 OR ((triple10) -> rule8) OR ((triple11 triple15) -> rule6) OR ((((triple13) -> rule1)) -> rule8) OR ((((triple15) -> rule4)) -> rule8) OR ((triple11 ((triple11 triple13) -> rule2)) -> rule6) OR ((((((triple11 triple13) -> rule2)) -> rule4)) -> rule8) OR ((((((triple14 triple12) -> rule3)) -> rule1)) -> rule8) OR ((triple11 ((triple11 ((triple14 triple12) -> rule3)) -> rule2)) -> rule6) OR ((((((triple11 ((triple14 triple12) -> rule3)) -> rule2)) -> rule4)) -> rule8) OR ((((((triple14 ((triple11 triple14) -> rule5)) -> rule3)) -> rule1)) -> rule8) OR ((triple11 ((triple11 ((triple14 ((triple11 triple14) -> rule5)) -> rule3)) -> rule2)) -> rule6) OR ((((((triple11 ((triple14 ((triple11 triple14) -> rule5)) -> rule3)) -> rule2)) -> rule4)) -> rule8))] Harry is blue.[(triple10 OR ((triple13) -> rule1) OR ((triple15) -> rule4) OR ((((triple11 triple13) -> rule2)) -> rule4) OR ((((triple14 triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple14 triple12) -> rule3)) -> rule2)) -> rule4) OR ((((triple14 ((triple11 triple14) -> rule5)) -> rule3)) -> rule1) OR ((((((triple9) -> rule7) triple13) -> rule2)) -> rule4) OR ((((((triple9) -> rule7) ((triple14 triple12) -> rule3)) -> rule2)) -> rule4) OR ((((triple11 ((triple14 ((triple11 triple14) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((triple14 ((((triple9) -> rule7) triple14) -> rule5)) -> rule3)) -> rule1) OR ((((((triple9) -> rule7) ((triple14 ((triple11 triple14) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((triple11 ((triple14 ((((triple9) -> rule7) triple14) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((((triple9) -> rule7) ((triple14 ((((triple9) -> rule7) triple14) -> rule5)) -> rule3)) -> rule2)) -> rule4))] Harry is kind.[(triple11 OR ((triple9) -> rule7) OR ((((triple10) -> rule8)) -> rule7) OR ((((((triple13) -> rule1)) -> rule8)) -> rule7) OR ((((((triple15) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple14 triple12) -> rule3)) -> rule1)) -> rule8)) -> rule7))] Harry is nice.[(triple12 OR ((triple11 triple14) -> rule5) OR ((((triple9) -> rule7) triple14) -> rule5) OR ((((((triple10) -> rule8)) -> rule7) triple14) -> rule5) OR ((((((((triple13) -> rule1)) -> rule8)) -> rule7) triple14) -> rule5) OR ((((((((triple15) -> rule4)) -> rule8)) -> rule7) triple14) -> rule5))] Harry is quiet.[(triple13 OR ((triple14 triple12) -> rule3) OR ((triple14 ((triple11 triple14) -> rule5)) -> rule3) OR ((triple14 ((((triple9) -> rule7) triple14) -> rule5)) -> rule3) OR ((triple14 ((((((triple10) -> rule8)) -> rule7) triple14) -> rule5)) -> rule3) OR ((triple14 ((((((((triple15) -> rule4)) -> rule8)) -> rule7) triple14) -> rule5)) -> rule3))] Harry is rough.[(triple14)] Harry is smart.[(triple15 OR ((triple11 triple13) -> rule2) OR ((triple11 ((triple14 triple12) -> rule3)) -> rule2) OR ((((triple9) -> rule7) triple13) -> rule2) OR ((((triple9) -> rule7) ((triple14 triple12) -> rule3)) -> rule2) OR ((triple11 ((triple14 ((triple11 triple14) -> rule5)) -> rule3)) -> rule2) OR ((((((triple10) -> rule8)) -> rule7) triple13) -> rule2) OR ((((triple9) -> rule7) ((triple14 ((triple11 triple14) -> rule5)) -> rule3)) -> rule2) OR ((((((triple10) -> rule8)) -> rule7) ((triple14 triple12) -> rule3)) -> rule2) OR ((((((triple10) -> rule8)) -> rule7) ((triple14 ((triple11 triple14) -> rule5)) -> rule3)) -> rule2) OR ((triple11 ((triple14 ((((triple9) -> rule7) triple14) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple13) -> rule1)) -> rule8)) -> rule7) triple13) -> rule2) OR ((((triple9) -> rule7) ((triple14 ((((triple9) -> rule7) triple14) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple13) -> rule1)) -> rule8)) -> rule7) ((triple14 triple12) -> rule3)) -> rule2) OR ((((((triple10) -> rule8)) -> rule7) ((triple14 ((((triple9) -> rule7) triple14) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple13) -> rule1)) -> rule8)) -> rule7) ((triple14 ((triple11 triple14) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple13) -> rule1)) -> rule8)) -> rule7) ((triple14 ((((triple9) -> rule7) triple14) -> rule5)) -> rule3)) -> rule2) OR ((triple11 ((triple14 ((((((triple10) -> rule8)) -> rule7) triple14) -> rule5)) -> rule3)) -> rule2) OR ((((((((((triple14 triple12) -> rule3)) -> rule1)) -> rule8)) -> rule7) triple13) -> rule2) OR ((((triple9) -> rule7) ((triple14 ((((((triple10) -> rule8)) -> rule7) triple14) -> rule5)) -> rule3)) -> rule2) OR ((((((((((triple14 triple12) -> rule3)) -> rule1)) -> rule8)) -> rule7) ((triple14 triple12) -> rule3)) -> rule2) OR ((((((triple10) -> rule8)) -> rule7) ((triple14 ((((((triple10) -> rule8)) -> rule7) triple14) -> rule5)) -> rule3)) -> rule2) OR ((((((((((triple14 triple12) -> rule3)) -> rule1)) -> rule8)) -> rule7) ((triple14 ((triple11 triple14) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple13) -> rule1)) -> rule8)) -> rule7) ((triple14 ((((((triple10) -> rule8)) -> rule7) triple14) -> rule5)) -> rule3)) -> rule2) OR ((((((((((triple14 triple12) -> rule3)) -> rule1)) -> rule8)) -> rule7) ((triple14 ((((triple9) -> rule7) triple14) -> rule5)) -> rule3)) -> rule2) OR ((((((((((triple14 triple12) -> rule3)) -> rule1)) -> rule8)) -> rule7) ((triple14 ((((((triple10) -> rule8)) -> rule7) triple14) -> rule5)) -> rule3)) -> rule2))] @1: Bob is blue.[(((triple4) -> rule1) OR ((triple6) -> rule4) OR ((((triple2 triple4) -> rule2)) -> rule4) OR ((((triple5 triple3) -> rule3)) -> rule1) OR ((((triple2 ((triple5 triple3) -> rule3)) -> rule2)) -> rule4) OR ((((triple5 ((triple2 triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1) -> rule7) triple4) -> rule2)) -> rule4) OR ((((((triple1) -> rule7) ((triple5 triple3) -> rule3)) -> rule2)) -> rule4) OR ((((triple2 ((triple5 ((triple2 triple5) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((triple5 ((((triple1) -> rule7) triple5) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1) -> rule7) ((triple5 ((triple2 triple5) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((triple2 ((triple5 ((((triple1) -> rule7) triple5) -> rule5)) -> rule3)) -> rule2)) -> rule4) OR ((((((triple1) -> rule7) ((triple5 ((((triple1) -> rule7) triple5) -> rule5)) -> rule3)) -> rule2)) -> rule4))] Charlie is big.[(((triple7) -> rule8))] @2: Charlie is kind.[(((((triple7) -> rule8)) -> rule7))] @3: Charlie is nice.[(((((((triple7) -> rule8)) -> rule7) triple8) -> rule5))] @4: Charlie is quiet.[(((triple8 ((((((triple7) -> rule8)) -> rule7) triple8) -> rule5)) -> rule3))] @5: Charlie is smart.[(((((((triple7) -> rule8)) -> rule7) ((triple8 ((((((triple7) -> rule8)) -> rule7) triple8) -> rule5)) -> rule3)) -> rule2))]