Bob is big. Bob is kind. Bob is rough. Bob is round. Bob is smart. Bob is young. Fiona is big. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Harry is cold. Harry is young. If something is young then it is smart. Smart, young things are big. If something is round and kind then it is smart. If something is big and young then it is rough. Big things are smart. Rough, young things are smart.
Harry is not rough.
@0: Bob is big.[(triple1 OR ((triple5 triple6) -> rule2) OR ((((triple6) -> rule1) triple6) -> rule2) OR ((((triple3 triple6) -> rule6) triple6) -> rule2) OR ((((triple4 triple2) -> rule3) triple6) -> rule2))] Bob is kind.[(triple2)] Bob is rough.[(triple3 OR ((triple1 triple6) -> rule4) OR ((((triple5 triple6) -> rule2) triple6) -> rule4) OR ((((((triple6) -> rule1) triple6) -> rule2) triple6) -> rule4) OR ((((((triple4 triple2) -> rule3) triple6) -> rule2) triple6) -> rule4))] Bob is round.[(triple4)] Bob is smart.[(triple5 OR ((triple1) -> rule5) OR ((triple6) -> rule1) OR ((triple3 triple6) -> rule6) OR ((triple4 triple2) -> rule3) OR ((((triple1 triple6) -> rule4) triple6) -> rule6))] Bob is young.[(triple6)] Fiona is big.[(triple7 OR ((triple12 triple13) -> rule2) OR ((((triple13) -> rule1) triple13) -> rule2) OR ((((triple10 triple13) -> rule6) triple13) -> rule2) OR ((((triple11 triple9) -> rule3) triple13) -> rule2))] Fiona is cold.[(triple8)] Fiona is kind.[(triple9)] Fiona is rough.[(triple10 OR ((triple7 triple13) -> rule4) OR ((((triple12 triple13) -> rule2) triple13) -> rule4) OR ((((((triple13) -> rule1) triple13) -> rule2) triple13) -> rule4) OR ((((((triple11 triple9) -> rule3) triple13) -> rule2) triple13) -> rule4))] Fiona is round.[(triple11)] Fiona is smart.[(triple12 OR ((triple13) -> rule1) OR ((triple7) -> rule5) OR ((triple10 triple13) -> rule6) OR ((triple11 triple9) -> rule3) OR ((((triple7 triple13) -> rule4) triple13) -> rule6))] Fiona is young.[(triple13)] Harry is cold.[(triple14)] Harry is young.[(triple15)] @1: Harry is smart.[(((triple15) -> rule1))] @2: Harry is big.[(((((triple15) -> rule1) triple15) -> rule2))] @3: Harry is rough.[(((((((triple15) -> rule1) triple15) -> rule2) triple15) -> rule4))]