Bob is big. Bob is kind. Bob is nice. Bob is red. Bob is round. Charlie is big. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. If someone is nice then they are big. If Charlie is round and Charlie is nice then Charlie is red. If Charlie is rough and Charlie is kind then Charlie is nice. Round people are nice. Rough people are round. All big people are rough. All round, kind people are big. If someone is big then they are red.
Charlie is big.
@0: Bob is big.[(triple1 OR ((triple3) -> rule1) OR ((triple5 triple2) -> rule7) OR ((((triple5) -> rule4)) -> rule1))] Bob is kind.[(triple2)] Bob is nice.[(triple3 OR ((triple5) -> rule4) OR ((((((triple1) -> rule6)) -> rule5)) -> rule4))] Bob is red.[(triple4 OR ((triple1) -> rule8) OR ((((triple3) -> rule1)) -> rule8) OR ((((triple5 triple2) -> rule7)) -> rule8) OR ((((((triple5) -> rule4)) -> rule1)) -> rule8))] Bob is round.[(triple5 OR ((((triple1) -> rule6)) -> rule5) OR ((((((triple3) -> rule1)) -> rule6)) -> rule5))] Charlie is big.[(triple6 OR ((triple8) -> rule1) OR ((triple11 triple7) -> rule7) OR ((((triple11) -> rule4)) -> rule1) OR ((((triple10 triple7) -> rule3)) -> rule1) OR ((((triple10) -> rule5) triple7) -> rule7) OR ((((((triple10) -> rule5)) -> rule4)) -> rule1))] Charlie is kind.[(triple7)] Charlie is nice.[(triple8 OR ((triple11) -> rule4) OR ((triple10 triple7) -> rule3) OR ((((triple10) -> rule5)) -> rule4) OR ((((triple6) -> rule6) triple7) -> rule3) OR ((((((triple6) -> rule6)) -> rule5)) -> rule4) OR ((((((triple11 triple7) -> rule7)) -> rule6) triple7) -> rule3))] Charlie is red.[(triple9 OR ((triple6) -> rule8) OR ((triple11 triple8) -> rule2) OR ((((triple8) -> rule1)) -> rule8) OR ((((triple11 triple7) -> rule7)) -> rule8) OR ((triple11 ((triple11) -> rule4)) -> rule2) OR ((triple11 ((triple10 triple7) -> rule3)) -> rule2) OR ((((triple10) -> rule5) triple8) -> rule2) OR ((((triple10) -> rule5) ((triple11) -> rule4)) -> rule2) OR ((((triple10) -> rule5) ((triple10 triple7) -> rule3)) -> rule2) OR ((((((triple11) -> rule4)) -> rule1)) -> rule8) OR ((((((triple10 triple7) -> rule3)) -> rule1)) -> rule8) OR ((((((triple10) -> rule5) triple7) -> rule7)) -> rule8) OR ((triple11 ((((triple10) -> rule5)) -> rule4)) -> rule2) OR ((triple11 ((((triple6) -> rule6) triple7) -> rule3)) -> rule2) OR ((((((triple6) -> rule6)) -> rule5) triple8) -> rule2) OR ((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule4)) -> rule2) OR ((((triple10) -> rule5) ((((triple6) -> rule6) triple7) -> rule3)) -> rule2) OR ((((((triple6) -> rule6)) -> rule5) ((triple11) -> rule4)) -> rule2) OR ((((((triple6) -> rule6)) -> rule5) ((triple10 triple7) -> rule3)) -> rule2) OR ((((((triple6) -> rule6)) -> rule5) ((((triple10) -> rule5)) -> rule4)) -> rule2) OR ((((((triple6) -> rule6)) -> rule5) ((((triple6) -> rule6) triple7) -> rule3)) -> rule2) OR ((((((((triple10) -> rule5)) -> rule4)) -> rule1)) -> rule8) OR ((triple11 ((((((triple6) -> rule6)) -> rule5)) -> rule4)) -> rule2) OR ((triple11 ((((((triple11 triple7) -> rule7)) -> rule6) triple7) -> rule3)) -> rule2) OR ((((((((triple8) -> rule1)) -> rule6)) -> rule5) triple8) -> rule2) OR ((((triple10) -> rule5) ((((((triple6) -> rule6)) -> rule5)) -> rule4)) -> rule2) OR ((((triple10) -> rule5) ((((((triple11 triple7) -> rule7)) -> rule6) triple7) -> rule3)) -> rule2) OR ((((((((triple8) -> rule1)) -> rule6)) -> rule5) ((triple11) -> rule4)) -> rule2) OR ((((((((triple8) -> rule1)) -> rule6)) -> rule5) ((triple10 triple7) -> rule3)) -> rule2) OR ((((((triple6) -> rule6)) -> rule5) ((((((triple6) -> rule6)) -> rule5)) -> rule4)) -> rule2) OR ((((((triple6) -> rule6)) -> rule5) ((((((triple11 triple7) -> rule7)) -> rule6) triple7) -> rule3)) -> rule2) OR ((((((((triple8) -> rule1)) -> rule6)) -> rule5) ((((triple10) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule1)) -> rule6)) -> rule5) ((((triple6) -> rule6) triple7) -> rule3)) -> rule2) OR ((((((((triple8) -> rule1)) -> rule6)) -> rule5) ((((((triple6) -> rule6)) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule1)) -> rule6)) -> rule5) ((((((triple11 triple7) -> rule7)) -> rule6) triple7) -> rule3)) -> rule2))] Charlie is rough.[(triple10 OR ((triple6) -> rule6) OR ((((triple8) -> rule1)) -> rule6) OR ((((triple11 triple7) -> rule7)) -> rule6) OR ((((((triple11) -> rule4)) -> rule1)) -> rule6))] Charlie is round.[(triple11 OR ((triple10) -> rule5) OR ((((triple6) -> rule6)) -> rule5) OR ((((((triple8) -> rule1)) -> rule6)) -> rule5))] Charlie is smart.[(triple12)] @1: Bob is rough.[(((triple1) -> rule6) OR ((((triple3) -> rule1)) -> rule6) OR ((((triple5 triple2) -> rule7)) -> rule6) OR ((((((triple5) -> rule4)) -> rule1)) -> rule6))]