Charlie is red. Charlie is young. Dave is red. Dave is rough. Dave is round. Dave is young. Erin is quiet. Erin is round. Erin is young. Gary is young. All rough, young things are cold. If something is rough and cold then it is red. Rough things are blue. Round things are quiet. Quiet things are rough. Young things are round. If something is blue and rough then it is quiet. Red things are cold. Round things are young.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is young.
("Gary" "is" "young" "+")
All rough, young things are cold.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something is rough and cold then it is red.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If something is blue and rough then it is quiet.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
Red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Erin is young.
True
1
proof
[(triple9 OR ((triple8) -> rule9))]
("Erin" "is" "young" "+")
triple9
((triple8) -> (rule9 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Charlie is not red.
False
1
inv-proof
[(triple1 OR ((((((((triple2) -> rule6)) -> rule4)) -> rule5) ((((((((triple2) -> rule6)) -> rule4)) -> rule5) triple2) -> rule1)) -> rule2))]
("Charlie" "is" "red" "-")
triple1
((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is round.
True
2
proof
[(((triple2) -> rule6))]
("Charlie" "is" "round" "+")
((triple2) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is not quiet.
False
2
inv-proof
[(((triple5) -> rule4) OR ((((triple6) -> rule6)) -> rule4) OR ((((triple4) -> rule3) triple4) -> rule7))]
("Dave" "is" "quiet" "-")
((triple5) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple4) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Gary is quiet.
True
3
proof
[(((((triple10) -> rule6)) -> rule4))]
("Gary" "is" "quiet" "+")
((((triple10) -> (rule6 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not quiet.
False
3
inv-proof
[(((((triple10) -> rule6)) -> rule4))]
("Gary" "is" "quiet" "-")
((((triple10) -> (rule6 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
True
4
proof
[(((((((triple10) -> rule6)) -> rule4)) -> rule5))]
("Gary" "is" "rough" "+")
((((((triple10) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Charlie is not rough.
False
4
inv-proof
[(((((((triple2) -> rule6)) -> rule4)) -> rule5))]
("Charlie" "is" "rough" "-")
((((((triple2) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Gary is cold.
True
6
proof
[(((((((((triple10) -> rule6)) -> rule4)) -> rule5) triple10) -> rule1))]
("Gary" "is" "cold" "+")
((((((((triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Charlie is not blue.
False
5
inv-proof
[(((((((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule3))]
("Charlie" "is" "blue" "-")
((((((((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Gary is red.
True
11
proof
[(((((((((triple10) -> rule6)) -> rule4)) -> rule5) ((((((((triple10) -> rule6)) -> rule4)) -> rule5) triple10) -> rule1)) -> rule2))]
("Gary" "is" "red" "+")
((((((((triple10) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((((((triple10) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is not red.
False
11
inv-proof
[(((((((((triple10) -> rule6)) -> rule4)) -> rule5) ((((((((triple10) -> rule6)) -> rule4)) -> rule5) triple10) -> rule1)) -> rule2))]
("Gary" "is" "red" "-")
((((((((triple10) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((((((triple10) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
@0: Charlie is red.[(triple1 OR ((((((((triple2) -> rule6)) -> rule4)) -> rule5) ((((((((triple2) -> rule6)) -> rule4)) -> rule5) triple2) -> rule1)) -> rule2))] Charlie is young.[(triple2)] Dave is red.[(triple3 OR ((triple4 ((triple4 triple6) -> rule1)) -> rule2) OR ((triple4 ((triple4 ((triple5) -> rule9)) -> rule1)) -> rule2) OR ((((((triple5) -> rule4)) -> rule5) ((triple4 triple6) -> rule1)) -> rule2) OR ((((((triple5) -> rule4)) -> rule5) ((triple4 ((triple5) -> rule9)) -> rule1)) -> rule2) OR ((triple4 ((((((triple5) -> rule4)) -> rule5) triple6) -> rule1)) -> rule2) OR ((triple4 ((((((triple5) -> rule4)) -> rule5) ((triple5) -> rule9)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6)) -> rule4)) -> rule5) ((triple4 triple6) -> rule1)) -> rule2) OR ((((((triple5) -> rule4)) -> rule5) ((((((triple5) -> rule4)) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6)) -> rule4)) -> rule5) ((triple4 ((triple5) -> rule9)) -> rule1)) -> rule2) OR ((((((triple5) -> rule4)) -> rule5) ((((((triple5) -> rule4)) -> rule5) ((triple5) -> rule9)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6)) -> rule4)) -> rule5) ((((((triple5) -> rule4)) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6)) -> rule4)) -> rule5) ((((((triple5) -> rule4)) -> rule5) ((triple5) -> rule9)) -> rule1)) -> rule2) OR ((triple4 ((((((((triple6) -> rule6)) -> rule4)) -> rule5) triple6) -> rule1)) -> rule2) OR ((triple4 ((((((((triple6) -> rule6)) -> rule4)) -> rule5) ((triple5) -> rule9)) -> rule1)) -> rule2) OR ((((((triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule6)) -> rule4)) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((triple5) -> rule4)) -> rule5) ((((((((triple6) -> rule6)) -> rule4)) -> rule5) ((triple5) -> rule9)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6)) -> rule4)) -> rule5) ((((((((triple6) -> rule6)) -> rule4)) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6)) -> rule4)) -> rule5) ((((((((triple6) -> rule6)) -> rule4)) -> rule5) ((triple5) -> rule9)) -> rule1)) -> rule2))] Dave is rough.[(triple4 OR ((((triple5) -> rule4)) -> rule5) OR ((((((triple6) -> rule6)) -> rule4)) -> rule5))] Dave is round.[(triple5 OR ((triple6) -> rule6))] Dave is young.[(triple6 OR ((triple5) -> rule9))] Erin is quiet.[(triple7 OR ((triple8) -> rule4) OR ((((triple9) -> rule6)) -> rule4))] Erin is round.[(triple8 OR ((triple9) -> rule6))] Erin is young.[(triple9 OR ((triple8) -> rule9))] Gary is young.[(triple10)] @1: Charlie is cold.[(((triple1) -> rule8) OR ((((((((triple2) -> rule6)) -> rule4)) -> rule5) triple2) -> rule1))] Charlie is round.[(((triple2) -> rule6))] Dave is blue.[(((triple4) -> rule3) OR ((((((triple5) -> rule4)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule6)) -> rule4)) -> rule5)) -> rule3))] Dave is cold.[(((triple3) -> rule8) OR ((triple4 triple6) -> rule1) OR ((triple4 ((triple5) -> rule9)) -> rule1) OR ((((((triple5) -> rule4)) -> rule5) triple6) -> rule1) OR ((((((triple5) -> rule4)) -> rule5) ((triple5) -> rule9)) -> rule1) OR ((((((((triple6) -> rule6)) -> rule4)) -> rule5) triple6) -> rule1) OR ((((((((triple6) -> rule6)) -> rule4)) -> rule5) ((triple5) -> rule9)) -> rule1))] Dave is quiet.[(((triple5) -> rule4) OR ((((triple6) -> rule6)) -> rule4) OR ((((triple4) -> rule3) triple4) -> rule7))] Erin is rough.[(((triple7) -> rule5) OR ((((triple8) -> rule4)) -> rule5) OR ((((((triple9) -> rule6)) -> rule4)) -> rule5))] Gary is round.[(((triple10) -> rule6))] @2: Charlie is quiet.[(((((triple2) -> rule6)) -> rule4))] Erin is blue.[(((((triple7) -> rule5)) -> rule3) OR ((((((triple8) -> rule4)) -> rule5)) -> rule3) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule5)) -> rule3))] Erin is cold.[(((((triple7) -> rule5) triple9) -> rule1) OR ((((triple7) -> rule5) ((triple8) -> rule9)) -> rule1) OR ((((((triple8) -> rule4)) -> rule5) triple9) -> rule1) OR ((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule9)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule5) triple9) -> rule1) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule5) ((triple8) -> rule9)) -> rule1))] Gary is quiet.[(((((triple10) -> rule6)) -> rule4))] @3: Charlie is rough.[(((((((triple2) -> rule6)) -> rule4)) -> rule5))] Erin is red.[(((((triple7) -> rule5) ((((triple7) -> rule5) triple9) -> rule1)) -> rule2) OR ((((triple7) -> rule5) ((((triple7) -> rule5) ((triple8) -> rule9)) -> rule1)) -> rule2) OR ((((((triple8) -> rule4)) -> rule5) ((((triple7) -> rule5) triple9) -> rule1)) -> rule2) OR ((((((triple8) -> rule4)) -> rule5) ((((triple7) -> rule5) ((triple8) -> rule9)) -> rule1)) -> rule2) OR ((((triple7) -> rule5) ((((((triple8) -> rule4)) -> rule5) triple9) -> rule1)) -> rule2) OR ((((triple7) -> rule5) ((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule9)) -> rule1)) -> rule2) OR ((((((triple8) -> rule4)) -> rule5) ((((((triple8) -> rule4)) -> rule5) triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule5) ((((triple7) -> rule5) triple9) -> rule1)) -> rule2) OR ((((((triple8) -> rule4)) -> rule5) ((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule9)) -> rule1)) -> rule2) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule5) ((((triple7) -> rule5) ((triple8) -> rule9)) -> rule1)) -> rule2) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule5) ((((((triple8) -> rule4)) -> rule5) triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule5) ((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule9)) -> rule1)) -> rule2) OR ((((triple7) -> rule5) ((((((((triple9) -> rule6)) -> rule4)) -> rule5) triple9) -> rule1)) -> rule2) OR ((((triple7) -> rule5) ((((((((triple9) -> rule6)) -> rule4)) -> rule5) ((triple8) -> rule9)) -> rule1)) -> rule2) OR ((((((triple8) -> rule4)) -> rule5) ((((((((triple9) -> rule6)) -> rule4)) -> rule5) triple9) -> rule1)) -> rule2) OR ((((((triple8) -> rule4)) -> rule5) ((((((((triple9) -> rule6)) -> rule4)) -> rule5) ((triple8) -> rule9)) -> rule1)) -> rule2) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule5) ((((((((triple9) -> rule6)) -> rule4)) -> rule5) triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule5) ((((((((triple9) -> rule6)) -> rule4)) -> rule5) ((triple8) -> rule9)) -> rule1)) -> rule2))] Gary is rough.[(((((((triple10) -> rule6)) -> rule4)) -> rule5))] @4: Charlie is blue.[(((((((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule3))] Gary is blue.[(((((((((triple10) -> rule6)) -> rule4)) -> rule5)) -> rule3))] Gary is cold.[(((((((((triple10) -> rule6)) -> rule4)) -> rule5) triple10) -> rule1))] @5: Gary is red.[(((((((((triple10) -> rule6)) -> rule4)) -> rule5) ((((((((triple10) -> rule6)) -> rule4)) -> rule5) triple10) -> rule1)) -> rule2))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((((((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
((triple4 ((triple4 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((triple4 ((triple4 ((triple5) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((triple4 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((triple4 ((triple5) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((triple4 ((((((triple5) -> (rule4 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((triple4 ((((((triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((triple5) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple4 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule4 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((triple6) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((triple4 ((triple5) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((((triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((triple5) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple5) -> (rule4 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((triple6) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((((triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((triple5) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((triple4 ((((((((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((triple4 ((((((((triple6) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((triple5) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((triple5) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule5 % int4)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((triple5) -> (rule4 % int6))) -> (rule5 % int5)) ((((((((triple6) -> (rule6 % int4))) -> (rule4 % int6))) -> (rule5 % int5)) ((triple5) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is quiet.
("Dave" "is" "quiet" "+")
int6
((((((((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((((((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((((triple6) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((triple6) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((triple5) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
Dave is rough.
("Dave" "is" "rough" "+")
triple4
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
triple5
((triple6) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple6
((triple5) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
((triple8) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
triple8
((triple9) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple9
((triple8) -> (rule9 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((((((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
((triple2) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple4) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((((triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
((triple3) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple4 triple6) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple4 ((triple5) -> (rule9 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((((triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple5) -> (rule4 % int4))) -> (rule5 % int3)) ((triple5) -> (rule9 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((triple6) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple6) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple5) -> (rule9 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple5) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple4) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((triple7) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((triple10) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
((((triple7) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple7) -> (rule5 % int3)) ((triple8) -> (rule9 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((triple8) -> (rule9 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple8) -> (rule9 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple10) -> (rule6 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((((triple2) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
((((triple7) -> (rule5 % int3)) ((((triple7) -> (rule5 % int3)) triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((triple7) -> (rule5 % int4)) ((((triple7) -> (rule5 % int4)) ((triple8) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple7) -> (rule5 % int3)) triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple7) -> (rule5 % int4)) ((triple8) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple7) -> (rule5 % int4)) ((((((triple8) -> (rule4 % int3))) -> (rule5 % int4)) triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple7) -> (rule5 % int5)) ((((((triple8) -> (rule4 % int4))) -> (rule5 % int5)) ((triple8) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple8) -> (rule4 % int4))) -> (rule5 % int3)) triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((triple7) -> (rule5 % int3)) triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((triple8) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((triple9) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple7) -> (rule5 % int4)) ((triple8) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((((triple8) -> (rule4 % int4))) -> (rule5 % int3)) triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((triple9) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((triple8) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((triple7) -> (rule5 % int5)) ((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int5)) triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple7) -> (rule5 % int6)) ((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int6)) ((triple8) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
((((((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((triple9) -> (rule6 % int3))) -> (rule4 % int5))) -> (rule5 % int4)) triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule4 % int6))) -> (rule5 % int5)) ((((((((triple9) -> (rule6 % int4))) -> (rule4 % int6))) -> (rule5 % int5)) ((triple8) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
int6
((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((triple9) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((((((triple9) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((triple8) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple10) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
((((((((triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
((((((((triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
((((((((triple10) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((((((((triple10) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5