Charlie is big. Charlie is cold. Charlie is nice. Charlie is young. Dave is big. Dave is nice. Fiona is big. Fiona is nice. Gary is cold. Gary is nice. All rough, young things are red. All rough, cold things are young. All nice, red things are round. If Charlie is cold and Charlie is rough then Charlie is young. All round, red things are rough. All cold, big things are red. Cold things are big. If Dave is rough then Dave is cold. If Fiona is cold then Fiona is red.
Dave is young.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule7))] Charlie is cold.[(triple2)] Charlie is nice.[(triple3)] Charlie is young.[(triple4 OR ((triple2 ((((triple3 ((triple2 triple1) -> rule6)) -> rule3) ((triple2 triple1) -> rule6)) -> rule5)) -> rule4) OR ((((((triple3 ((triple2 triple1) -> rule6)) -> rule3) ((triple2 triple1) -> rule6)) -> rule5) triple2) -> rule2) OR ((triple2 ((((triple3 ((triple2 triple1) -> rule6)) -> rule3) ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple3 ((triple2 triple1) -> rule6)) -> rule3) ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule5) triple2) -> rule2) OR ((triple2 ((((triple3 ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule3) ((triple2 triple1) -> rule6)) -> rule5)) -> rule4) OR ((((((triple3 ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule3) ((triple2 triple1) -> rule6)) -> rule5) triple2) -> rule2) OR ((triple2 ((((triple3 ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule3) ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule5)) -> rule4) OR ((((((triple3 ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule3) ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule5) triple2) -> rule2))] Dave is big.[(triple5)] Dave is nice.[(triple6)] Fiona is big.[(triple7)] Fiona is nice.[(triple8)] Gary is cold.[(triple9)] Gary is nice.[(triple10)] @1: Charlie is red.[(((triple2 triple1) -> rule6) OR ((triple2 ((triple2) -> rule7)) -> rule6))] Gary is big.[(((triple9) -> rule7))] @2: Charlie is round.[(((triple3 ((triple2 triple1) -> rule6)) -> rule3) OR ((triple3 ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule3))] Gary is red.[(((triple9 ((triple9) -> rule7)) -> rule6))] @3: Charlie is rough.[(((((triple3 ((triple2 triple1) -> rule6)) -> rule3) ((triple2 triple1) -> rule6)) -> rule5) OR ((((triple3 ((triple2 triple1) -> rule6)) -> rule3) ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule5) OR ((((triple3 ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule3) ((triple2 triple1) -> rule6)) -> rule5) OR ((((triple3 ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule3) ((triple2 ((triple2) -> rule7)) -> rule6)) -> rule5))] Gary is round.[(((triple10 ((triple9 ((triple9) -> rule7)) -> rule6)) -> rule3))] @4: Gary is rough.[(((((triple10 ((triple9 ((triple9) -> rule7)) -> rule6)) -> rule3) ((triple9 ((triple9) -> rule7)) -> rule6)) -> rule5))] @5: Gary is young.[(((((((triple10 ((triple9 ((triple9) -> rule7)) -> rule6)) -> rule3) ((triple9 ((triple9) -> rule7)) -> rule6)) -> rule5) triple9) -> rule2))]