Charlie is cold. Charlie is red. Charlie is young. Young, big people are round. If Charlie is red and Charlie is cold then Charlie is round. Quiet people are young. If someone is round then they are big. Cold, quiet people are big. All young people are cold. All round, red people are quiet. If someone is red and big then they are young.
Charlie is cold.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule6))] Charlie is red.[(triple2)] Charlie is young.[(triple3 OR ((((((triple2 triple1) -> rule2) triple2) -> rule7)) -> rule3) OR ((triple2 ((((triple2 triple1) -> rule2)) -> rule4)) -> rule8) OR ((triple2 ((triple1 ((((triple2 triple1) -> rule2) triple2) -> rule7)) -> rule5)) -> rule8))] @1: Charlie is round.[(((triple2 triple1) -> rule2) OR ((triple2 ((triple3) -> rule6)) -> rule2))] @2: Charlie is big.[(((((triple2 triple1) -> rule2)) -> rule4) OR ((((triple2 ((triple3) -> rule6)) -> rule2)) -> rule4) OR ((triple1 ((((triple2 triple1) -> rule2) triple2) -> rule7)) -> rule5) OR ((((triple3) -> rule6) ((((triple2 triple1) -> rule2) triple2) -> rule7)) -> rule5) OR ((triple1 ((((triple2 ((triple3) -> rule6)) -> rule2) triple2) -> rule7)) -> rule5) OR ((((triple3) -> rule6) ((((triple2 ((triple3) -> rule6)) -> rule2) triple2) -> rule7)) -> rule5))] Charlie is quiet.[(((((triple2 triple1) -> rule2) triple2) -> rule7) OR ((((triple2 ((triple3) -> rule6)) -> rule2) triple2) -> rule7))]