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