Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is round. Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is round. Big things are round. All nice things are green. If something is kind and big then it is red. Big, kind things are cold. If something is green and red then it is big. If something is nice and kind then it is round. If Dave is round and Dave is red then Dave is nice. All big things are nice.
Harry is nice.
@0: Dave is big.[(triple1 OR ((triple3 triple6) -> rule5) OR ((((triple5) -> rule2) triple6) -> rule5) OR ((((((triple7 triple6) -> rule7)) -> rule2) triple6) -> rule5))] Dave is cold.[(triple2 OR ((triple1 triple4) -> rule4) OR ((((triple3 triple6) -> rule5) triple4) -> rule4) OR ((((((triple5) -> rule2) triple6) -> rule5) triple4) -> rule4) OR ((((((((triple7 triple6) -> rule7)) -> rule2) triple6) -> rule5) triple4) -> rule4))] Dave is green.[(triple3 OR ((triple5) -> rule2) OR ((((triple1) -> rule8)) -> rule2) OR ((((triple7 triple6) -> rule7)) -> rule2) OR ((((triple7 ((triple4 triple1) -> rule3)) -> rule7)) -> rule2) OR ((((((triple1) -> rule1) triple6) -> rule7)) -> rule2) OR ((((((triple1) -> rule1) ((triple4 triple1) -> rule3)) -> rule7)) -> rule2))] Dave is kind.[(triple4)] Dave is nice.[(triple5 OR ((triple1) -> rule8) OR ((triple7 triple6) -> rule7) OR ((((triple3 triple6) -> rule5)) -> rule8) OR ((triple7 ((triple4 triple1) -> rule3)) -> rule7) OR ((((triple1) -> rule1) triple6) -> rule7) OR ((((triple1) -> rule1) ((triple4 triple1) -> rule3)) -> rule7) OR ((((((triple3 triple6) -> rule5)) -> rule1) triple6) -> rule7) OR ((((((triple3 triple6) -> rule5)) -> rule1) ((triple4 triple1) -> rule3)) -> rule7))] Dave is red.[(triple6 OR ((triple4 triple1) -> rule3))] Dave is round.[(triple7 OR ((triple1) -> rule1) OR ((triple5 triple4) -> rule6) OR ((((triple3 triple6) -> rule5)) -> rule1) OR ((((triple1) -> rule8) triple4) -> rule6) OR ((((((triple5) -> rule2) triple6) -> rule5)) -> rule1) OR ((((((triple3 triple6) -> rule5)) -> rule8) triple4) -> rule6))] Harry is big.[(triple8 OR ((triple10 triple13) -> rule5) OR ((((triple12) -> rule2) triple13) -> rule5))] Harry is cold.[(triple9 OR ((triple8 triple11) -> rule4) OR ((((triple10 triple13) -> rule5) triple11) -> rule4) OR ((((((triple12) -> rule2) triple13) -> rule5) triple11) -> rule4))] Harry is green.[(triple10 OR ((triple12) -> rule2) OR ((((triple8) -> rule8)) -> rule2))] Harry is kind.[(triple11)] Harry is nice.[(triple12 OR ((triple8) -> rule8) OR ((((triple10 triple13) -> rule5)) -> rule8))] Harry is red.[(triple13 OR ((triple11 triple8) -> rule3))] Harry is round.[(triple14 OR ((triple8) -> rule1) OR ((triple12 triple11) -> rule6) OR ((((triple10 triple13) -> rule5)) -> rule1) OR ((((triple8) -> rule8) triple11) -> rule6) OR ((((((triple12) -> rule2) triple13) -> rule5)) -> rule1) OR ((((((triple10 triple13) -> rule5)) -> rule8) triple11) -> rule6))]