Bob is big. Bob is blue. Bob is kind. Bob is quiet. Charlie is blue. Erin is big. Erin is cold. Erin is kind. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is smart. Blue, quiet things are smart. All big, blue things are nice. Kind things are big. All cold things are big. If Bob is blue and Bob is smart then Bob is big. All quiet things are smart. All smart things are kind. All blue things are cold. If something is blue and big then it is quiet.
Charlie is kind.
@0: Bob is big.[(triple1 OR ((triple3) -> rule3) OR ((((triple2) -> rule8)) -> rule4) OR ((triple2 ((triple4) -> rule6)) -> rule5) OR ((triple2 ((triple2 triple4) -> rule1)) -> rule5) OR ((((((triple4) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2 triple4) -> rule1)) -> rule7)) -> rule3))] Bob is blue.[(triple2)] Bob is kind.[(triple3 OR ((((triple4) -> rule6)) -> rule7) OR ((((triple2 triple4) -> rule1)) -> rule7) OR ((((((triple2 triple1) -> rule9)) -> rule6)) -> rule7) OR ((((triple2 ((triple2 triple1) -> rule9)) -> rule1)) -> rule7) OR ((((((triple2 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6)) -> rule7) OR ((((triple2 ((triple2 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1)) -> rule7))] Bob is quiet.[(triple4 OR ((triple2 triple1) -> rule9) OR ((triple2 ((triple3) -> rule3)) -> rule9) OR ((triple2 ((((triple2) -> rule8)) -> rule4)) -> rule9))] Charlie is blue.[(triple5)] Erin is big.[(triple6 OR ((triple7) -> rule4) OR ((triple8) -> rule3))] Erin is cold.[(triple7)] Erin is kind.[(triple8)] Harry is big.[(triple9 OR ((triple11) -> rule3) OR ((((triple10) -> rule8)) -> rule4) OR ((((triple14) -> rule7)) -> rule3) OR ((((((triple13) -> rule6)) -> rule7)) -> rule3) OR ((((((triple10 triple13) -> rule1)) -> rule7)) -> rule3))] Harry is blue.[(triple10)] Harry is kind.[(triple11 OR ((triple14) -> rule7) OR ((((triple13) -> rule6)) -> rule7) OR ((((triple10 triple13) -> rule1)) -> rule7) OR ((((((triple10 triple9) -> rule9)) -> rule6)) -> rule7) OR ((((triple10 ((triple10 triple9) -> rule9)) -> rule1)) -> rule7) OR ((((((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule9)) -> rule6)) -> rule7) OR ((((triple10 ((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule9)) -> rule1)) -> rule7))] Harry is nice.[(triple12 OR ((triple9 triple10) -> rule2) OR ((((triple11) -> rule3) triple10) -> rule2) OR ((((((triple10) -> rule8)) -> rule4) triple10) -> rule2) OR ((((((triple14) -> rule7)) -> rule3) triple10) -> rule2) OR ((((((((triple13) -> rule6)) -> rule7)) -> rule3) triple10) -> rule2) OR ((((((((triple10 triple13) -> rule1)) -> rule7)) -> rule3) triple10) -> rule2))] Harry is quiet.[(triple13 OR ((triple10 triple9) -> rule9) OR ((triple10 ((triple11) -> rule3)) -> rule9) OR ((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule9) OR ((triple10 ((((triple14) -> rule7)) -> rule3)) -> rule9))] Harry is smart.[(triple14 OR ((triple13) -> rule6) OR ((triple10 triple13) -> rule1) OR ((((triple10 triple9) -> rule9)) -> rule6) OR ((triple10 ((triple10 triple9) -> rule9)) -> rule1) OR ((((triple10 ((triple11) -> rule3)) -> rule9)) -> rule6) OR ((triple10 ((triple10 ((triple11) -> rule3)) -> rule9)) -> rule1) OR ((((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule9)) -> rule6) OR ((triple10 ((triple10 ((((triple10) -> rule8)) -> rule4)) -> rule9)) -> rule1))] @1: Bob is cold.[(((triple2) -> rule8))] Bob is nice.[(((triple1 triple2) -> rule2) OR ((((triple3) -> rule3) triple2) -> rule2) OR ((((((triple2) -> rule8)) -> rule4) triple2) -> rule2) OR ((((triple2 ((triple4) -> rule6)) -> rule5) triple2) -> rule2) OR ((((triple2 ((triple2 triple4) -> rule1)) -> rule5) triple2) -> rule2) OR ((((((((triple4) -> rule6)) -> rule7)) -> rule3) triple2) -> rule2) OR ((((((((triple2 triple4) -> rule1)) -> rule7)) -> rule3) triple2) -> rule2))] Bob is smart.[(((triple4) -> rule6) OR ((triple2 triple4) -> rule1) OR ((((triple2 triple1) -> rule9)) -> rule6) OR ((triple2 ((triple2 triple1) -> rule9)) -> rule1) OR ((((triple2 ((triple3) -> rule3)) -> rule9)) -> rule6) OR ((triple2 ((triple2 ((triple3) -> rule3)) -> rule9)) -> rule1) OR ((((triple2 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule6) OR ((triple2 ((triple2 ((((triple2) -> rule8)) -> rule4)) -> rule9)) -> rule1))] Charlie is cold.[(((triple5) -> rule8))] Harry is cold.[(((triple10) -> rule8))] @2: Charlie is big.[(((((triple5) -> rule8)) -> rule4))] @3: Charlie is nice.[(((((((triple5) -> rule8)) -> rule4) triple5) -> rule2))] Charlie is quiet.[(((triple5 ((((triple5) -> rule8)) -> rule4)) -> rule9))] @4: Charlie is smart.[(((((triple5 ((((triple5) -> rule8)) -> rule4)) -> rule9)) -> rule6) OR ((triple5 ((triple5 ((((triple5) -> rule8)) -> rule4)) -> rule9)) -> rule1))] @5: Charlie is kind.[(((((((triple5 ((((triple5) -> rule8)) -> rule4)) -> rule9)) -> rule6)) -> rule7) OR ((((triple5 ((triple5 ((((triple5) -> rule8)) -> rule4)) -> rule9)) -> rule1)) -> rule7))]