Anne is big. Anne is rough. Bob is big. Bob is cold. Bob is smart. Dave is cold. Dave is kind. Dave is rough. Dave is round. Dave is smart. Erin is rough. Erin is white. All kind, round things are white. Kind things are smart. If something is kind then it is rough. All big, rough things are kind. White things are round. If something is cold then it is white. Rough things are big. If something is round then it is rough.
Anne is cold.
@0: Anne is big.[(triple1 OR ((triple2) -> rule7))] Anne is rough.[(triple2)] Bob is big.[(triple3 OR ((((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule7))] Bob is cold.[(triple4)] Bob is smart.[(triple5 OR ((((triple3 ((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule4)) -> rule2) OR ((((((((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule4)) -> rule2))] Dave is cold.[(triple6)] Dave is kind.[(triple7 OR ((((triple8) -> rule7) triple8) -> rule4) OR ((((triple8) -> rule7) ((triple9) -> rule8)) -> rule4) OR ((((((triple9) -> rule8)) -> rule7) triple8) -> rule4) OR ((((((triple9) -> rule8)) -> rule7) ((triple9) -> rule8)) -> rule4) OR ((((triple8) -> rule7) ((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule4) OR ((((((triple9) -> rule8)) -> rule7) ((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule4) OR ((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7) triple8) -> rule4) OR ((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((triple9) -> rule8)) -> rule4) OR ((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule4))] Dave is rough.[(triple8 OR ((triple7) -> rule3) OR ((triple9) -> rule8) OR ((((((triple6) -> rule6)) -> rule5)) -> rule8))] Dave is round.[(triple9 OR ((((triple6) -> rule6)) -> rule5))] Dave is smart.[(triple10 OR ((triple7) -> rule2) OR ((((((triple8) -> rule7) triple8) -> rule4)) -> rule2) OR ((((((triple8) -> rule7) ((triple9) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple9) -> rule8)) -> rule7) triple8) -> rule4)) -> rule2) OR ((((((((triple9) -> rule8)) -> rule7) ((triple9) -> rule8)) -> rule4)) -> rule2) OR ((((((triple8) -> rule7) ((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple9) -> rule8)) -> rule7) ((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule4)) -> rule2) OR ((((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7) triple8) -> rule4)) -> rule2) OR ((((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((triple9) -> rule8)) -> rule4)) -> rule2) OR ((((((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule4)) -> rule2))] Erin is rough.[(triple11 OR ((((triple12) -> rule5)) -> rule8))] Erin is white.[(triple12)] @1: Anne is kind.[(((triple1 triple2) -> rule4) OR ((((triple2) -> rule7) triple2) -> rule4))] Bob is white.[(((triple4) -> rule6))] Dave is big.[(((triple8) -> rule7) OR ((((triple7) -> rule3)) -> rule7) OR ((((triple9) -> rule8)) -> rule7) OR ((((((((triple6) -> rule6)) -> rule5)) -> rule8)) -> rule7))] Dave is white.[(((triple6) -> rule6) OR ((triple7 triple9) -> rule1) OR ((((((triple8) -> rule7) triple8) -> rule4) triple9) -> rule1) OR ((((((triple8) -> rule7) ((triple9) -> rule8)) -> rule4) triple9) -> rule1) OR ((((((((triple9) -> rule8)) -> rule7) triple8) -> rule4) triple9) -> rule1) OR ((((((((triple9) -> rule8)) -> rule7) ((triple9) -> rule8)) -> rule4) triple9) -> rule1))] Erin is big.[(((triple11) -> rule7) OR ((((((triple12) -> rule5)) -> rule8)) -> rule7))] Erin is round.[(((triple12) -> rule5))] @2: Anne is smart.[(((((triple1 triple2) -> rule4)) -> rule2) OR ((((((triple2) -> rule7) triple2) -> rule4)) -> rule2))] Bob is round.[(((((triple4) -> rule6)) -> rule5))] Erin is kind.[(((((triple11) -> rule7) triple11) -> rule4) OR ((((triple11) -> rule7) ((((triple12) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple12) -> rule5)) -> rule8)) -> rule7) triple11) -> rule4) OR ((((((((triple12) -> rule5)) -> rule8)) -> rule7) ((((triple12) -> rule5)) -> rule8)) -> rule4))] @3: Bob is rough.[(((((((triple4) -> rule6)) -> rule5)) -> rule8))] Erin is smart.[(((((((triple11) -> rule7) triple11) -> rule4)) -> rule2) OR ((((((triple11) -> rule7) ((((triple12) -> rule5)) -> rule8)) -> rule4)) -> rule2) OR ((((((((((triple12) -> rule5)) -> rule8)) -> rule7) triple11) -> rule4)) -> rule2) OR ((((((((((triple12) -> rule5)) -> rule8)) -> rule7) ((((triple12) -> rule5)) -> rule8)) -> rule4)) -> rule2))] @4: Bob is kind.[(((triple3 ((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule7) ((((((triple4) -> rule6)) -> rule5)) -> rule8)) -> rule4))]